search

potassco / clintest

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

Support optimization #30

Closed teiesti closed 4 months ago

teiesti commented 4 months ago

Closes #16

teiesti commented 4 months ago

This pull request was merged as an error. The changes have been reverted.