package dolmen
A parser library for automated deduction
Install
Dune Dependency
Authors
Maintainers
Sources
dolmen-0.8.tbz
sha256=3ee4b4b028b18ab0066cb4648fa14cd4d628a3afd79455f85fb796a9969ac80c
sha512=06d455f0221814dae44d9d8614cab7c1d4fb43a383e603a92ffc9cf4a753d42c5f2a0f3c5ae64aa6cf02da769c4666b130443ae2cf8fa0918c906d46e0caec9a
doc/src/dolmen.dimacs/syntax_messages.ml.html
Source file syntax_messages.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46(* This file was auto-generated based on "syntax.messages". *) (* Please note that the function [message] can raise [Not_found]. *) let message = fun s -> match s with | 14 -> "008\na clause\na newline to properly finish the clause after the zero\n" | 33 -> "008\na clause\na newline to properly finish the clause after the zero\n" | 19 -> "006\na clause\nan integer, either zero to mark the end of the clause, or\na non-zero integer to add to the clause\n" | 7 -> "005\na p-cnf header\na newline character to end the header\n" | 28 -> "005\na p-cnf header\na newline character to end the header\n" | 6 -> "004\na p-cnf header\na non-zero integer for the number of clauses\n" | 27 -> "004\na p-cnf header\na non-zero integer for the number of clauses\n" | 5 -> "003\na p-cnf header\na non-zero integer for the number of variables\n" | 26 -> "003\na p-cnf header\na non-zero integer for the number of variables\n" | 4 -> "002\na p-cnf header\nthe keyword \"cnf\"\n" | 25 -> "002\na p-cnf header\nthe keyword \"cnf\"\n" | 0 -> "001\nan input sentence\na p-cnf header if there hasn't been one yet,\nor a clause starting with a non-zero integer\n" | 9 -> "001\nan input sentence\na p-cnf header if there hasn't been one yet,\nor a clause starting with a non-zero integer\n" | 10 -> "001\nan input sentence\na p-cnf header if there hasn't been one yet,\nor a clause starting with a non-zero integer\n" | 17 -> "001\nan input sentence\na p-cnf header if there hasn't been one yet,\nor a clause starting with a non-zero integer\n" | 1 -> "001\nan input sentence\na p-cnf header if there hasn't been one yet,\nor a clause starting with a non-zero integer\n" | 3 -> "001\nan input sentence\na p-cnf header if there hasn't been one yet,\nor a clause starting with a non-zero integer\n" | 23 -> "001\nan input sentence\na p-cnf header if there hasn't been one yet,\nor a clause starting with a non-zero integer\n" | _ -> raise Not_found