API Doc
Awesome Scala
Login
epfl-lara
/
inox
1.1.0
Apache License 2.0
GitHub
Solver for higher-order functional programs, used by Stainless
Scala versions:
2.11
Project
Artifacts
Versions
Badges
2.12
2.11
inox
inox
Found
62
versions
1.1.0-343-gdc719cc
6 years ago
JVM:
2.12
2.11
1.1.0-332-ga6cbf8e
6 years ago
JVM:
2.12
2.11
1.1.0-329-g3c23a86
6 years ago
JVM:
2.12
2.11
1.1.0-326-g397ae7b
6 years ago
JVM:
2.12
2.11
1.1.0-322-g6cdfa72
6 years ago
JVM:
2.12
2.11
1.1.0-315-gec5dd7d
7 years ago
JVM:
2.12
2.11
1.1.0-304-g541bfb4
7 years ago
JVM:
2.12
2.11
1.1.0-279-g46d458e
7 years ago
JVM:
2.12
2.11
1.1.0-277-g81ef60e
7 years ago
JVM:
2.12
2.11
1.1.0-274-g51b4281
7 years ago
JVM:
2.12
2.11
1.1.0-273-gbb72631
7 years ago
JVM:
2.12
2.11
1.1.0-269-gc64a439
7 years ago
JVM:
2.12
2.11
1.1.0-266-g7fc4518
7 years ago
JVM:
2.12
2.11
1.1.0-261-gcb84299
7 years ago
JVM:
2.12
2.11
1.1.0-256-g525e430
7 years ago
JVM:
2.12
2.11
1.1.0-243-gd08df9b
7 years ago
JVM:
2.12
2.11
1.1.0-236-gbdf21e8
7 years ago
JVM:
2.12
2.11
1.1.0-234-ga8e9ef2
7 years ago
JVM:
2.12
2.11
1.1.0-194-g99de42e
7 years ago
JVM:
2.12
2.11
1.1.0-191-g03c930c
7 years ago
JVM:
2.12
2.11
1.1.0-189-g97037d4
7 years ago
JVM:
2.12
2.11
1.1.0-188-g0d8443f
7 years ago
JVM:
2.12
2.11
1.1.0-126-g334f862
7 years ago
JVM:
2.12
2.11
1.1.0-116-g08057e0
7 years ago
JVM:
2.12
2.11
1.1.0-114-g364d067
7 years ago
JVM:
2.12
2.11
1.1.0-77-gcda28de
7 years ago
JVM:
2.12
2.11
1.1.0-76-g5cb98af
7 years ago
JVM:
2.11
1.1.0-59-g4f0ad3c
7 years ago
JVM:
2.12
2.11
1.1.0-47-gb507feb
7 years ago
JVM:
2.12
2.11
1.1.0-40-g07559d3
7 years ago
GPL-3.0
JVM:
2.12
2.11
1.1.0-31-g5bf1997
7 years ago
GPL-3.0
JVM:
2.12
2.11
1.1.0-1-g94b21d2
7 years ago
GPL-3.0
JVM:
2.12
1.1.0
7 years ago
GPL-3.0
JVM:
2.11
1.0.2-282-gea965b6
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-281-g853cc23
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-278-gd1a1088
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-277-g894b724
8 years ago
GPL-3.0
JVM:
2.11
1.0.2-273-gf3d8ffb
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-271-g867b522
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-268-gbdb52bc
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-253-gb56078e
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-238-gfecc51d
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-191-g3b196ab
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-182-g6bb5560
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-161-g082081b
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-151-g6ca2381
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-149-g348727d
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-141-g7e5c615
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-137-gbf77fc0
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-130-g3775bf8
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-81-g9f77744
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-70-gf3ae022
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-69-g1478566
8 years ago
GPL-3.0
JVM:
2.11
1.0.2-30-g33ee731
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-2-gb5fdc3d
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-a44c8
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2-41f88
8 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.2
9 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.1
9 years ago
GPL-3.0
JVM:
2.12
2.11
1.0
9 years ago
GPL-3.0
JVM:
2.12
2.11
0.8
9 years ago
GPL-3.0
JVM:
2.11
0.9
9 years ago
GPL-3.0
JVM:
2.11