Skip to content

simple java API for interaction with SMT solvers using SMT-LIB

License

Notifications You must be signed in to change notification settings

pascalpoizat/smt-api

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

9 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

SMT-API (API for Satisfiability Modulo Theories) is a Java API to interact with SMT solvers using the SMT-LIB format. For the time being, it is focused on interacting with Z3.

Contributors

Abderrahmane Feliachi, Paris Sud University and LRI

This work has been done while A. Feliachi was a PhD student at LRI.

Dependencies

There are no dependencies, but you will need Z3 to perform some action.

Z3

Z3 is available at https://github.com/Z3Prover/z3.

Usage

For examples of usage, see Z3SolverTest.java (code)

License

SMI-API code is released under the GPL v2.

About

simple java API for interaction with SMT solvers using SMT-LIB

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages