Skip to content
Translation of SAT proofs in LRAT format into Dedukti format
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
examples
LICENSE
Makefile
README.md
analyse_lexer.mll
cleandk.ml
cleandk.sh
debug_printers.ml
dedukti_prefix
deleted_lexer.mll
dimacs_lexer.mll
filter_lexer.mll
globals.ml
globals.mli
ipl.ml
lrat_ipl.ml
lrat_lexer.mll
lrat_types.ml
ppx_remove_debug.ml
proof_generation.ml
ptset.ml
ptset.mli
test.sh

README.md

lrat2dk

Translation of SAT proofs in LRAT format into Dedukti format

Usage

lrat2dk input.cnf input.lrat

Installation

Requires the ppx_tools package (available for instance via OPAM).

To compile:

touch .depend 
make
You can’t perform that action at this time.