The toysolver package

[Tags: bsd3, library, program]

Toy-level implementation of some decision procedures

No changelog available

Properties

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
Dependencies	array, base (>=4), bytestring, containers, 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)
License	BSD3
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 repository	head: git clone git://github.com/msakai/toysolver.git
Executables	pbconvert, lpconvert, toyfmf, toysat, toysolver
Uploaded	Wed Apr 10 14:05:29 UTC 2013 by MasahiroSakai
Distributions	NixOS:0.2.0
Downloads	705 total (89 in last 30 days)
Status	Docs not available [build log] All reported builds failed [all 1 reports]

Modules

Algebra
- Lattice
  - Algebra.Lattice.Boolean
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
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
forcechar8	set default encoding to char8 (not to use iconv)	Disabled

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 (included in the package)

Maintainers' corner

For package maintainers and hackage trustees

edit package information