Ersatz.Solver.Kissat
kissat :: MonadIO m => Solver SAT m Source #
Solver for SAT problems that tries to invoke the kissat executable from the PATH.
Solver
SAT
kissat
PATH
kissatPath :: MonadIO m => FilePath -> Solver SAT m Source #
Solver for SAT problems that tries to invoke a program that takes kissat compatible arguments.
The FilePath refers to the path to the executable.
FilePath