All Versions
5
Latest Version
Avg Release Cycle
431 days
Latest Release
748 days ago

Changelog History

  • v0.6.0 Changes

    October 04, 2019
    • πŸ†• new solvers:
      • ToySolver.SAT.SLS.ProbSAT and sample probsat program
    • πŸ†• new converters:
      • ToySolver.Converter.NAESAT
      • ToySolver.Converter.SAT2MaxCut
      • ToySolver.Converter.SAT2MaxSAT: SAT and 3-SAT to Max-2-SAT converter
      • ToySolver.Converter.QBF2IPC
      • ToySolver.Converter.QUBO: QUBO↔IsingModel converter
    • πŸ†• new file format API:
      • merge ToySolver.Text.MaxSAT, ToySolver.Text.GCNF, ToySolver.Text.QDimacs, and ToySolver.Text.CNF
        info ToySolver.FileFormat and ToySolver.FileFormat.CNF
      • allow reading/writing gzipped CNF/WCNF/GCNF/QDimacs/LP/MPS files
    • πŸ“‡ rename modules:
      • ToySolver.Arith.Simplex2 to ToySolver.Arith.Simplex
      • ToySolver.Arith.MIPSolver2 to ToySolver.Arith.MIP
      • ToySolver.Data.Var to ToySolver.Data.IntVar
    • ToySolver.SAT:
      • add cancel function for interruption
      • introduce PackedClause type
    • ToySolver.Arith.Simplex
      • introduce Config data type
      • implement bound tightening
    • πŸ“œ switch from System.Console.GetOpt to optparse-applicative
    • πŸ‘ stop supporting GHC-7.8
  • v0.5.0

    October 09, 2017
  • v0.4.0 Changes

    January 25, 2016

    πŸš€ ToySolver version 0.4.0 release.

    πŸš€ The highlight of this release is the introduction of SMT (Satisfiablity Modulo Theories) solver 'toysmt'. At the moment, toysmt is very experimental and only supports the theory of uninterpreted functions and the theory of linear real arithmetic.

  • v0.3.0 Changes

    May 31, 2015

    πŸš€ ToySolver version 0.3.0 release.

  • v0.2.0 Changes

    January 16, 2015

    πŸš€ ToySolver version 0.2.0 release.