JavaSMT 3: Interacting with SMT Solvers in Java.
Daniel BaierDirk BeyerKarlheinz FriedbergerPublished in: CAV (2) (2021)
Keyphrases
- modulo theories
- open source
- programming language
- answer set programming
- statistical machine translation
- source code
- java programs
- byte code
- object oriented
- lightweight
- sat solvers
- satisfiability modulo theories
- development environment
- cross platform
- search algorithm
- web services
- neural network
- databases
- java programming