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

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

Class Summary

Class	Description
AsynchronousCloseSatSolverState	The AsynchronousCloseSatSolverState.close() call is handled by the provided executor.
SynchronizedSatSolverState	A synchronized wrapper of SatSolverState.