Added flexibility to Minisat class

satispy/solver/minisat.py

@@ -13,6 +13,11 @@ def __getitem__(self, i):
         return self.varmap[i]
 
 class Minisat(object):
+    COMMAND = 'minisat %s %s > /dev/null'
+
+    def __init__(self, command=COMMAND):
+        self.command = command
+
     def solve(self, cnf):
         s = Solution()
 
@@ -23,7 +28,7 @@ def solve(self, cnf):
         infile.write(io.tostring(cnf))
         infile.flush()
 
-        ret = call('minisat %s %s > /dev/null' % (infile.name, outfile.name), shell=True)
+        ret = call(self.command % (infile.name, outfile.name), shell=True)
 
         infile.close()
 

setup.py

@@ -5,12 +5,12 @@
 
 setup(
     name='satispy',
-    version='1.0a1',
+    version='1.0a2',
     description='An interface to SAT solver tools (like minisat)',
     author='FÁBIÁN Tamás László',
     author_email='giganetom@gmail.com',
     url='https://github.com/netom/satispy/',
-    download_url='https://github.com/netom/satispy/tarball/1.0a1#egg=satispy-1.0a1',
+    download_url='https://github.com/netom/satispy/tarball/1.0a2#egg=satispy-1.0a2',
     license='BSD License',
     platforms='OS Independent',
     packages=['satispy', 'satispy.io', 'satispy.solver'],