Dynamic Detail title - Githubissues

glaserL / viasp

A visualization tool for clingo

MIT License

3 stars 3 forks source link

Closed glaserL closed 2 years ago

glaserL commented 2 years ago

It right now says Stable Models which is stupid in some cases. Write Facts/Partial Model/Stable Model instead.