Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
BSD 2-Clause "Simplified" License
2
stars
4
forks
source link
Fix make all issues from computation test #113
Open
macdonaldlowe opened 3 years ago
[] - Fix manual graph testing to have type in the data space