tweak readme and default timeout

logic-and-learning-lab · Apr 27, 2024 · f84ece6 · f84ece6
1 parent 9fd75d8
commit f84ece6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -7,6 +7,7 @@ Popper is an [inductive logic programming](https://arxiv.org/pdf/2008.07912.pdf)
 - [Clingo](https://potassco.org/clingo/) (5.6.2 or above)
 - [Janus-swi](https://github.com/SWI-Prolog/packages-swipy)
 - [pysat](https://pysathq.github.io)
+- [bitarray](https://github.com/ilanschnell/bitarray)
 
 #### Installation
 Install Popper with the command ```pip install git+https://github.com/logic-and-learning-lab/Popper@main```

diff --git a/popper/util.py b/popper/util.py
@@ -17,7 +17,7 @@ class Literal(NamedTuple):
 
 clingo.script.enable_python()
 
-TIMEOUT=600
+TIMEOUT=1200
 EVAL_TIMEOUT=0.001
 MAX_LITERALS=40
 MAX_SOLUTIONS=1