this repo has no description
dekker.one
1% Output
2<output> ::= <no-solutions> [ <warnings> ] <free-text>
3 | ( <solution> )* [ <complete> ] [ <warnings> ] <free-text>
4
5% Solutions
6<solution> ::= <solution-text> [ \n ] "----------" \n
7
8% Unsatisfiable
9<no-solutions> ::= "=====UNSATISFIABLE=====" \n
10
11% Complete
12<complete> ::= "==========" \n
13
14% Messages
15<warnings> ::= ( <message> )+
16
17<message> ::= ( <line> )+
18<line> ::= "%" [^\n]* \n