Update to standard documentation for ALF Booleans signature (#10862) · ajreynol/CVC4@e0f2557 · GitHub

Commit

Update to standard documentation for ALF Booleans signature (cvc5#10862)

Browse files

Also changes `$resolve` from a program to a define, as this leads to
better performance.

---------

Co-authored-by: Hans-Jörg <[email protected]>

Loading branch information

ajreynol and hansjoergschurr authored Jun 21, 2024

1 parent 0b6cfba commit e0f2557