Integer Stuff - Githubissues

kperun / SATPrakPDW

Interval Constraint Propagation strategy implementation for SMTRAT

MIT License

2 stars 0 forks source link

Integer Stuff #61

Open Verdict7 opened 7 years ago

Verdict7 commented 7 years ago

Round solution if possible. Also consider mixed integer programs.

DavidWz commented 7 years ago

Integer examples work in principle (we return sat/unsat correctly), however, there is a final double free error (segfault) in the destructor of the SATModule...