What's new? | Help | Directory | Sign in
Google
                
How to join?
Project owners:
  DirkBeyer7201
Project members:
Rilaak

CSIsat is an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementation combines the efficiency of linear programming for solving the arithmetic part with the efficiency of a SAT solver to reason about the boolean structure.

CSIsat Project Home Page

Documentation

Downloads

Problem Reports

Acknowledgements