Add an assertion that checks if a models contains a predicate with a given signature - Githubissues

potassco / clintest

🧪 A test framework for clingo programs

https://potassco.org/clintest/

MIT License

7 stars 1 forks source link

Add an assertion that checks if a models contains a predicate with a given signature #27

Open teiesti opened 5 months ago