elsoroka/Satisfiability.jl
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
JuliaMIT
Issues
- 2
- 3
JOSS Review Comments
#50 opened - 11
JOSS Review Comments
#49 opened - 2
Example #3 in README.md is broken.
#48 opened - 0
Roadmap (Summer 2024 and beyond)
#46 opened - 1
Add support for chaining
#45 opened - 4
Add support for unicode
#44 opened - 0
- 0
- 0
Documentation workflow times out
#37 opened - 1
Reals example in README.md doesn't work
#32 opened - 1
Support for quantifiers
#31 opened - 16
TagBot trigger issue
#30 opened - 0
- 0
- 0
Infer logic type from expression
#24 opened - 0
- 3
- 3
TagBot trigger issue
#16 opened - 1
Register 0.1.0
#14 opened - 0
Improvements to @uninterpreted functions
#11 opened