toysolver v0.6.0 Release Notes
Release Date: 2019-10-04 // over 5 years ago-
- ๐ new solvers:
ToySolver.SAT.SLS.ProbSAT
and sampleprobsat
program
- ๐ new converters:
ToySolver.Converter.NAESAT
ToySolver.Converter.SAT2MaxCut
ToySolver.Converter.SAT2MaxSAT
: SAT and 3-SAT to Max-2-SAT converterToySolver.Converter.QBF2IPC
ToySolver.Converter.QUBO
: QUBOโIsingModel converter
- ๐ new file format API:
- merge
ToySolver.Text.MaxSAT
,ToySolver.Text.GCNF
,ToySolver.Text.QDimacs
, andToySolver.Text.CNF
infoToySolver.FileFormat
andToySolver.FileFormat.CNF
- allow reading/writing
gzip
ped CNF/WCNF/GCNF/QDimacs/LP/MPS files
- merge
- ๐ rename modules:
ToySolver.Arith.Simplex2
toToySolver.Arith.Simplex
ToySolver.Arith.MIPSolver2
toToySolver.Arith.MIP
ToySolver.Data.Var
toToySolver.Data.IntVar
ToySolver.SAT
:- add
cancel
function for interruption - introduce
PackedClause
type
- add
ToySolver.Arith.Simplex
- introduce
Config
data type - implement bound tightening
- introduce
- ๐ switch from
System.Console.GetOpt
tooptparse-applicative
- ๐ stop supporting GHC-7.8
- ๐ new solvers: