toysolver changelog

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.