biotomas / ipasir

The Standard Interface for Incremental Satisfiability Solving
Other
47 stars 14 forks source link

Ipasir check #17

Closed conp-solutions closed 4 years ago

conp-solutions commented 4 years ago

This commit series adds 3 applications that check the behaviour of an IPASIR backend.

Instead of reading a file for input, the tools use the CLI interface. There could likely be a wrapper script that would read the parameters from a file, in case that is the preferred interface.