Skip to content
Implementation of Cooper's Algorithm for QFLIA
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Data/Integer
LICENSE
README.md
RefSolver.hs
Test.hs
coopersat.cabal

README.md

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.

You can’t perform that action at this time.