From bad64269cd62c5da735660bfee394e6508d92f38 Mon Sep 17 00:00:00 2001 From: Kevin Brubeck Unhammer Date: Fri, 29 Aug 2008 15:58:48 +0200 Subject: [PATCH] started on pure cnf version, see sec6 of formulas.pdf --- DMVCCM.html | 115 ++++++++++-- DMVCCM.org | 55 ++++-- src/pcnf_dmv.py | 520 +++++++++++++++++++++++++++++++++++++++++++++++++++ src/pcnf_harmonic.py | 73 ++++++++ tex/compile.sh | 2 +- tex/formulas.pdf | Bin 115789 -> 120272 bytes tex/formulas.tex | 85 ++++++++- 7 files changed, 812 insertions(+), 38 deletions(-) create mode 100755 src/pcnf_dmv.py create mode 100644 src/pcnf_harmonic.py rewrite tex/formulas.pdf (73%) diff --git a/DMVCCM.html b/DMVCCM.html index d3f6766..9f31d4b 100755 --- a/DMVCCM.html +++ b/DMVCCM.html @@ -6,9 +6,30 @@ lang="en" xml:lang="en"> DMV/CCM – todo-list / progress - + - + @@ -26,7 +47,7 @@ lang="en" xml:lang="en">
  • 4 [#C] Alternative CNF for DMV