Package de.uzl.its.swat.solver

package de.uzl.its.swat.solver
  • Class
    Description
    LocalSolver
    This class can is used to directly communicate with the solver (currently Z3).
    SolverMode
    All available solver modes.