Uses of Interface
kodkod.engine.satlab.OrderableSolver

Packages that use OrderableSolver

kodkod.engine.fol2sat.ordering
kodkod.engine.satlab	Provides access to various Java and C++ SAT solvers through a common SAT Solver interface.

Uses of OrderableSolver in kodkod.engine.fol2sat.ordering

Methods in kodkod.engine.fol2sat.ordering with parameters of type OrderableSolver

void	InitializePrimaryVariables.apply(OrderableSolver solver, int primaryVars)
abstract void	OrderingMethod.apply(OrderableSolver solver, int primaryVars)
void	InputRestrictedBranching.apply(OrderableSolver solver, int primaryVars)
void	DefaultOrdering.apply(OrderableSolver solver, int primaryVars)

Uses of OrderableSolver in kodkod.engine.satlab

Classes in kodkod.engine.satlab that implement OrderableSolver

(package private) class

MiniSat Java wrapper for the MiniSat solver by Niklas Eén and Niklas Sörensson.