From ca93730781ac2a6559e16a6203786073b1cbd514 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 5 Sep 2016 23:54:44 +0300
Subject: Experimental code for polynomial construction.

---
 src/base/exor/exor.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/base')

diff --git a/src/base/exor/exor.c b/src/base/exor/exor.c
index 052362e5..2310de5f 100644
--- a/src/base/exor/exor.c
+++ b/src/base/exor/exor.c
@@ -78,6 +78,7 @@ extern int s_fDecreaseLiterals;
   SeeAlso     []
 
 ***********************************************************************/
+/*
 static int QCost[16][16] = 
 {
     {  1}, // 0
@@ -90,6 +91,7 @@ static int QCost[16][16] =
     { 56,  56,  56,  56,  58,  60,  62,  64}, // 7
     { 0 }
 };
+*/
 int GetQCost( int nVars, int nNegs )
 {
     int Extra;
-- 
cgit v1.2.3