package dolmen
A parser library for automated deduction
Install
Dune Dependency
Authors
Maintainers
Sources
dolmen-0.10.tbz
sha256=c5c85f77e3924f378e8d82f166eefe4131b4e041bf9cdeca467410f33c71fa61
sha512=42feb39d13cfdc8a2054abe85ccc47755f45059cda7d95e9261b5a9fd5c730f420732547b3fa19c4af059474f887ef78c119ab5933375a5ea2dbe888f65a3e4f
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