JavaSMT is a generic API allowing unified access to different SMT solvers.
All the interaction with a solver is performed through the
org.sosy_lab.java_smt.api.SolverContext interface, which encapsulates a
single context.
org.sosy_lab.java_smt.api.SolverContext instances are created using
org.sosy_lab.java_smt.SolverContextFactory.
| Package | Description |
|---|---|
| com.microsoft.z3 | |
| com.microsoft.z3.enumerations |