Introduce the alf node converter (cvc5#10016)

In preparation for the alf proof backend.
ajreynol · Sep 22, 2023 · 6687df7 · 6687df7
1 parent 27dc275
commit 6687df7
Show file tree

Hide file tree

Showing 3 changed files with 800 additions and 0 deletions.
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -143,6 +143,8 @@ libcvc5_add_sources(
   printer/printer.h
   printer/smt2/smt2_printer.cpp
   printer/smt2/smt2_printer.h
+  proof/alf/alf_node_converter.cpp
+  proof/alf/alf_node_converter.h
   proof/annotation_proof_generator.cpp
   proof/annotation_proof_generator.h
   proof/assumption_proof_generator.cpp