Package org.tweetyproject.arg.adf.sat.state

package org.tweetyproject.arg.adf.sat.state

Related Packages

Package	Description
org.tweetyproject.arg.adf.sat
org.tweetyproject.arg.adf.sat.solver

Classes

Class	Description
AsynchronousCloseSatSolverState	Wrapper that closes a SAT solver state asynchronously via a provided executor.
SynchronizedSatSolverState	A synchronized wrapper of SatSolverState.