Description
Using c instead of p in the first input line leads to the message below
To reproduce
c cnf 3 2
1 1 -3 0
-2 3 0
Expected behavior
More readable message.
Actual behavior
IllegalStateException: Illegal token 1. Only 'c' and 'p' command are supported
Why does the message state that c and p are supported, but KoSAT doesn't work with c?
Environment
KoSAT website
Description
Using c instead of p in the first input line leads to the message below
To reproduce
Expected behavior
More readable message.
Actual behavior
IllegalStateException: Illegal token 1. Only 'c' and 'p' command are supportedWhy does the message state that c and p are supported, but KoSAT doesn't work with c?
Environment
KoSAT website