We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2c45dc1 commit de0fbc4Copy full SHA for de0fbc4
nnf/kissat.py
@@ -26,8 +26,9 @@ def solve(
26
if not sentence.is_CNF():
27
raise ValueError("Sentence must be in CNF")
28
29
- SOLVER = os.path.join(os.path.dirname(os.path.abspath(__file__)),
30
- 'bin', 'kissat')
+ SOLVER = os.path.join(
+ os.path.dirname(os.path.abspath(__file__)), 'bin', 'kissat'
31
+ )
32
assert os.path.isfile(SOLVER), "Cannot seem to find kissat solver."
33
34
args = [SOLVER] + extra_args
0 commit comments