package dolmen
A parser library for automated deduction
Install
Dune Dependency
Authors
Maintainers
Sources
dolmen-0.8.1.tbz
sha256=80fc33ae81817a79c6e6b2f6c01c4cfcc0af02bfe4d2d1b87cf70b84cdde3928
sha512=3a44a99bce871161bc70cf909c813e9e6c91c590873cbc163c69b2ec90ab5be65bf0bf45430bc8d00d85d75cf0af004b06b8f5f1c9d4d47c8a30ab9f28762c04
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