Downloads

Systems

  • DEI: theorem-proving with iterated terms.
  • ECS: constraint solving in the empty theory.
  • FISH: A Flat Instantiation ScHeme.
  • RegSTAB: a SAT-Solver extended with the possibility to handle formulae patterns.
  • Solvect: a solver for linear constraints in elementary abelian groups.
  • Solvabel: a solver for linear constraints in abelian groups.

Documents