toysolver: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
[ algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, theorem-provers ]
[ Propose Tags ]
Versions | 0.0.2, 0.0.3, 0.0.4, 0.0.4.1, 0.0.5, 0.0.6, 0.1.0, 0.2.0, 0.3.0, 0.4.0, 0.5.0 |
---|---|
Dependencies | array, base (>=4.4 && <5), bytestring, containers (>=0.4.2), data-interval (>=0.1.0), deepseq, filepath, heaps, lattices (>=1.2.1.1), logic-TPTP, mtl, old-locale, OptDir, parse-dimacs, parsec, primes, queue, random, stm (>=2.3), time, toysolver, unbounded-delays, vector-space (>=0.8.6) [details] |
License | BSD-3-Clause |
Author | Masahiro Sakai (masahiro.sakai@gmail.com) |
Maintainer | masahiro.sakai@gmail.com |
Category | Algorithms, Optimisation, Optimization |
Bug tracker | https://github.com/msakai/toysolver/issues |
Source repo | head: git clone git://github.com/msakai/toysolver.git |
Uploaded | by MasahiroSakai at Wed Apr 10 14:05:29 UTC 2013 |
Distributions | NixOS:0.5.0 |
Executables | pbconvert, lpconvert, toyfmf, toysat, toysolver |
Downloads | 3505 total (28 in the last 30 days) |
Rating | (no votes yet) [estimated by rule of succession] |
Your Rating | |
Status | Docs not available [build log] All reported builds failed as of 2016-12-21 [all 7 reports] Hackage Matrix CI |
Modules
- Algebra
- Lattice
- Algebra.Lattice.Boolean
- Lattice
- Algorithm
- Algorithm.BoundsInference
- Algorithm.CAD
- Algorithm.CongruenceClosure
- Algorithm.ContiTraverso
- Algorithm.Cooper
- Algorithm.Cooper.Core
- Algorithm.Cooper.FOL
- Algorithm.FOLModelFinder
- Algorithm.FourierMotzkin
- Algorithm.FourierMotzkin.Core
- Algorithm.FourierMotzkin.FOL
- Algorithm.LPSolver
- Algorithm.LPSolverHL
- Algorithm.LPUtil
- Algorithm.MIPSolver2
- Algorithm.MIPSolverHL
- Algorithm.OmegaTest
- Algorithm.OmegaTest.Misc
- Algorithm.Simplex
- Algorithm.Simplex2
- Converter
- Converter.LP2SMT
- Converter.MaxSAT2LP
- Converter.MaxSAT2NLPB
- Converter.MaxSAT2WBO
- Converter.ObjType
- Converter.PB2LP
- Converter.PB2LSP
- Converter.PB2SMP
- Converter.PB2WBO
- Converter.PBSetObj
- Converter.SAT2LP
- Converter.SAT2PB
- Converter.WBO2PB
- Data
- Data.AlgebraicNumber
- Data.AlgebraicNumber.Root
- Data.ArithRel
- Data.DNF
- Data.Delta
- FOL
- Data.FOL.Arith
- Data.FOL.Formula
- Data.LA
- Data.LA.FOL
- Data.LBool
- Data.Polynomial
- Data.Polynomial.FactorZ
- Data.Polynomial.GBase
- Data.Polynomial.Lagrange
- Data.Polynomial.Sturm
- Data.Var
- Data.AlgebraicNumber
- SAT
- SAT.CAMUS
- SAT.Integer
- SAT.MUS
- SAT.PBO
- SAT.PBO.MSU4
- SAT.PBO.UnsatBased
- SAT.Printer
- SAT.TheorySolver
- SAT.TseitinEncoder
- SAT.Types
- Text
- Text.GCNF
- Text.GurobiSol
- Text.LPFile
- Text.MPSFile
- Text.MaxSAT
- Text.PBFile
- Text.SDPFile
- Util
- Version
Flags
Name | Description | Default | Type |
---|---|---|---|
forcechar8 | set default encoding to char8 (not to use iconv) | Disabled | Automatic |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- toysolver-0.0.4.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)