elsoroka/Satisfiability.jl
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
JuliaMIT
Stargazers
- 1991jhf
- aditya-senguptaUC Santa Cruz
- agerlach
- alberto-paparella@aclai-lab
- chriscoey@RelationalAI
- dpsandersUniversidad Nacional Autónoma de México (UNAM)
- eduardosalazPepsiCo
- gdalleEPFL
- giopaglia
- hdavid16RelationalAI
- jacobleft
- JeffreySarnoffNew York
- jeremiahpslewisBerlin
- lassepeDelft University of Technology
- metab0tHefei University of Technology
- mossrStanford Intelligent Systems Laboratory
- mykelkStanford University
- Perro2110University of Ferrara
- ReubenJ@AlgTUDelft
- sanglinweiTsinghua University
- sanjaylall
- sebdumancicDelft University of Technology
- Seelengrab
- suimong
- sumiya11
- THinnerichsTU Delft, Netherlands
- tschmStanford & Team Q @ ADIA
- vyudu