Alternative input header

[omemaxim]

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