Files

• records (txt)
• farray (txt)
• ac (txt)
• types (txt)
• zf (txt)
• smtlib (txt)
• poly (txt)
• v2.7 (7)
• reset (txt)
• base (txt)
• arith (txt)
• sort_param (txt)
• maps (txt)
• pushpop (txt)
• check_sat_assuming (txt)
• named (txt)
• reset_assertions (txt)
• bvconv (txt)
• adt (txt)
• fun_def (txt)
• attribute (txt)
• v2.6 (6)
• reset (txt)
• base (txt)
• pushpop (txt)
• named (txt)
• reset_assertions (txt)
• bvconv (txt)
• adt (txt)
• fun_def (txt)
• attribute (txt)
• hints (txt)
• literals (txt)
• warnings (txt)
• shadow (txt)
• unknown_attribute (txt)
• redundant_pattern (txt)
• unused (txt)
• errors (txt)
• scope_escape_in_wildcard (txt)
• bad_poly_arity (txt)
• poly (txt)
• bad_ty_arity (txt)
• bad_term_arity (txt)
• smt2_named (txt)
• bad_op_arity (txt)
• repeated_record_field (txt)
• mismatch_record_type (txt)
• missing_record_field (txt)
• unfounded_datatype (txt)
• type_mismatch (txt)
• shadow (txt)
• reserved (txt)
• smtlib_sexprs (txt)
• var_application (txt)
• var_ty_application (txt)
• overlapping_parallel_binding (txt)
• bitv_size (txt)
• partial_pattern_match (txt)
• quantifier_free (txt)
• bad_cstr_arity (txt)
• arith_linear (txt)
• unbound_type_vars (txt)
• bad_index_arity (txt)
• over_application (txt)
• headers (txt)
• regression (txt)
• issue77 (txt)
• issue242 (txt)
• pr27 (txt)
• pr63 (txt)
• pr39 (txt)
• pr61 (txt)
• pr36 (txt)
• pr79 (txt)
• pr55 (txt)
• issue75 (txt)
• pr30 (txt)
• pr47 (txt)
• pr59 (txt)
• pr141 (txt)
• locs (txt)
• src (txt)
• languages (txt)
• line (txt)
• dimacs (txt)
• dedukti (txt)
• tptp (txt)
• v6.3.0 (0)
• ae (txt)
• smtlib2 (txt)
• poly (txt)
• v2.7 (7)
• script (txt)
• response (txt)
• print (txt)
• v2.6 (6)
• script (txt)
• response (txt)
• zf (txt)
• icnf (txt)
• loop (txt)
• interface (txt)
• model (txt)
• lsp (txt)
• classes (txt)
• typecheck (txt)
• standard (txt)
• ATTRIBUTION.md (markdown)
• tokens (txt)
• hanoi (txt)
• perso (txt)
• ssa (txt)
• errors (txt)
• pigeon (txt)
• tptp (txt)
• v6.3.0 (0)
• Axioms (txt)
• ae (txt)
• pass (txt)
• zf (txt)
• icnf (txt)
• hanoi (txt)
• perso (txt)
• ssa (txt)
• errors (txt)
• pigeon (txt)
• smtlib (txt)
• poly (txt)
• pass (txt)
• extensions (txt)
• maxsmt (txt)
• errors (txt)
• v2.7 (7)
• pass (txt)
• extensions (txt)
• maxsmt (txt)
• errors (txt)
• v2.6 (6)
• pass (txt)
• extensions (txt)
• maxsmt (txt)
• errors (txt)
• qcheck (txt)
• typing (txt)
• pass (txt)
• dimacs (txt)
• tptp (txt)
• ae (txt)
• adts (txt)
• poly (txt)
• base (txt)
• arith (txt)
• triggers (txt)
• bitv (txt)
• poly (txt)
• v2.6 (6)
• model (txt)
• funs (txt)
• real (txt)
• fp (txt)
• int (txt)
• array (txt)
• misc (txt)
• bvconv (txt)
• doc (txt)
• type.md (md)
• bin.md (md)
• lsp.md (md)
• loop.md (md)
• parsing.md (md)
• scripts (txt)
• index.txt (txt)
• index.html (html)
• extensions.md (md)
• tuto.md (md)
• CHANGES.md (md)
• Makefile (txt)
• HACKING.md (md)
• bitv (txt)
• adt (txt)
• defs (txt)
• ho (txt)
• coercion (txt)
• goals (txt)
• bool (txt)
• parsing (txt)
• dimacs (txt)
• README.md (md)
• tools (txt)
• LICENSE (txt)
• examples (txt)
• extensions (txt)
• abs_real (txt)
• README.md (md)
• .github (github)
• workflows (txt)
• release.yml (yml)
• install.yml (yml)
• build.yml (yml)
• tests (txt)
• cram.t (t)
• proof (txt)
• unit (txt)
• bitv (txt)
• flow (txt)
• print (txt)
• smtlib (txt)