1. GILIA Avatar GILIA
  2. WICOM
  3. wicom-qdod
  4. Issues

Report more reasoning results

Issue #78 new
German Braun created an issue

Add a new widget menu to choose more results Equivalences, Disjointness, Sat, Unsat, etc

Comments (0)

  1. Log in to comment
Assignee
Type
enhancement
Priority
critical
Status
new
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!