JavaSMT: A Unified Interface for SMT Solvers in Java.
Egor George KarpenkovKarlheinz FriedbergerDirk BeyerPublished in: VSTTE (2016)
Keyphrases
- modulo theories
- cross platform
- java applets
- user interface
- object oriented
- source code
- open source
- java platform
- user friendly
- programming language
- sat solvers
- direct manipulation
- database applications
- lightweight
- interface design
- development environment
- database
- quantified boolean formulas
- statistical machine translation
- java programs
- web services