Skip to content

mpolney/coopersat

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

9 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

coopersat: Cooper's Algorithm for QFLIA

This is a simple solver for quantifier-free linear integer arithmetic. It uses Cooper's algorithm and is written in Haskell. To build and install, use cabal in the root of the repository working directory:

$ cabal build
$ cabal install

The test suite runs randomly-generated instances against Iavor S. Diatchki's solver (imported through cabal) which uses a different algorithm:

$ cabal test

The tests may take a few minutes to run if the instances generated are difficult.

About

Implementation of Cooper's Algorithm for QFLIA

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published