src/ClaspSolver.cpp File Reference

Interface to genuine clasp 3.1.1-based Solver. More...

Go to the source code of this file.

---

Detailed Description

Interface to genuine clasp 3.1.1-based Solver.

Author:

Christoph Redl

Peter Schueller <peterschueller@sabanciuniv.edu> (performance improvements, incremental model update)

Definition in file ClaspSolver.cpp.