Robert Scott cde5405d2e cvc5: enable tests ... more thoroughness can be achieved by "enabling assertions" but that will require more work to get passing		2024-08-18 14:56:37 +01:00
..
default.nix	cvc5: enable tests	2024-08-18 14:56:37 +01:00