package dolmen
A parser library for automated deduction
Install
Dune Dependency
Authors
Maintainers
Sources
dolmen-0.7.tbz
sha256=ff2889fa9d467d5b4d87ae4f819a64358715f457cc6226b455463c2fcd4ab2af
sha512=d6ba56945aabcf0886e83fcf44c45f2f8afcf68e48d2f0b25f9cd8e60d18106fae3976fee49d3e291b2e0ab3266837ad5eff800dc51fe2b3aab15ad81ea58cbb
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