From 234b5d771be8173ad8677fb397a381b06ff621de Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 3 May 2020 21:59:33 -0700
Subject: Experiment with permutations.

---
 src/aig/gia/gia.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig')

diff --git a/src/aig/gia/gia.c b/src/aig/gia/gia.c
index d57a4a74..cf7c0ddd 100644
--- a/src/aig/gia/gia.c
+++ b/src/aig/gia/gia.c
@@ -381,7 +381,7 @@ void Gia_EnumPerms( int nVars )
     nLogVars = Abc_Base2Log( Count );
     printf( "Need %d variables to encode %d sets.\n", nLogVars, Count );
     Count = 0;
-    fprintf( pFile, ".i %d\n", 10 );
+    fprintf( pFile, ".i %d\n", nLogVars );
     fprintf( pFile, ".o %d\n", nVars*nVars );
     Gia_EnumPerms_rec( pUsed, nVars, pPerm, 0, &Count, pFile, nLogVars );   
     fprintf( pFile, ".e\n" );
-- 
cgit v1.2.3