Consult the backend - Githubissues

kperun / SATPrakPDW

Interval Constraint Propagation strategy implementation for SMTRAT

MIT License

2 stars 0 forks source link

Consult the backend #52

Closed kperun closed 7 years ago

kperun commented 7 years ago

The latest benchmark shows that while the returned answers were always correct, we also often returned unknown. Here, we should use the backend to return a more precise answer.