def solve_with_minisat():
"""
Calls minisat with the specified formula, the number of variables
and the number of clauses.
Returns the output filename of the minisat computation.
"""
logging.debug('Solving with %s' % MINISAT)
if tools.command_available([MINISAT, INPUT, OUTPUT]):
process = subprocess.Popen([MINISAT, INPUT, OUTPUT],
stderr=subprocess.PIPE,
stdout=subprocess.PIPE)
process.wait()
else:
logging.error('Minisat could not be found.'
'Please make sure the executable "%s" available on the path '
'(e.g. /usr/bin).' % MINISAT)
sys.exit(1)
tools.remove(INPUT)
def validator_available():
return tools.command_available(["validate", "-h"])
def minisat_available():
return tools.command_available([MINISAT, '--help'])
def validator_available():
return tools.command_available(['./validate', '-h'])
def validator_available():
return tools.command_available(['validate', '-h'])
def minisat_available():
return tools.command_available([MINISAT, '--help'])
def validator_available():
"""
unmodified pyperplan function
"""
return tools.command_available(['validate', '-h'])
