Patrick Lühne
5bda14342b
For every integer parameter of the predicates visible in the output, this prints a short fact to the output to make this explicit. |
||
---|---|---|
.. | ||
anthem | ||
CMakeLists.txt |
Patrick Lühne
5bda14342b
For every integer parameter of the predicates visible in the output, this prints a short fact to the output to make this explicit. |
||
---|---|---|
.. | ||
anthem | ||
CMakeLists.txt |