conjure
conjure copied to clipboard
Solution counting flag to conjure solve ...
... so Conjure can just count solutions instead of enumerating them.