Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
BSD 2-Clause "Simplified" License
2
stars
4
forks
source link
Added Support for codegeneration involving uninterpreted function with no tuple variables #174
Closed
tpops closed 1 year ago
This Pull Adds support for code generation with uninterpreted functions that have no tuple variables