search

potassco / clintest

🧪 A test framework for clingo programs
https://potassco.org/clintest/
MIT License
7 stars 1 forks source link

Support optimization, second attempt #31

Closed teiesti closed 3 months ago

teiesti commented 4 months ago

Closes #16