Formulog
Datalog with support for SMT queries and first-order functional programming
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Formulog | 137 | 6 months ago | 7 | apache-2.0 | Java | |||||
| Datalog with support for SMT queries and first-order functional programming | ||||||||||
| Scalaz3 | 111 | a year ago | 12 | apache-2.0 | Scala | |||||
| DSL in Scala for Constraint Solving with Z3 SMT Solver | ||||||||||
| Skeptik | 31 | 7 years ago | 1 | January 22, 2013 | 39 | SMT | ||||
| A library for Proof Theory (especially Proof Compression) in Scala. | ||||||||||
| Uppsat | 9 | 3 years ago | 3 | gpl-3.0 | Scala | |||||
| An approximating SMT solver | ||||||||||
Alternatives To FormulogSelect To Compare
Alternative Project Comparisons
Popular Smt Projects
Popular Jar Projects
Popular Software Quality Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Java
Jar
Static Analysis
Smt
Logic Programming
Symbolic Execution