From 25f73ff5a16d23d595b298f12501121ce388366a Mon Sep 17 00:00:00 2001 From: Tias Guns Date: Wed, 21 Jul 2021 23:10:55 +0200 Subject: [PATCH] pysat: update main solver docs a bit --- cpmpy/solvers/pysat.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/cpmpy/solvers/pysat.py b/cpmpy/solvers/pysat.py index 97265db1b..a9b950a3f 100644 --- a/cpmpy/solvers/pysat.py +++ b/cpmpy/solvers/pysat.py @@ -6,6 +6,9 @@ """ Interface to PySAT's API + This solver can be used if the model only has Boolean variables, + and only logical constraints (and,or,xor,implies,==,!=) + =============== List of classes =============== @@ -58,9 +61,6 @@ def __init__(self, cpm_model): the PySAT docs use 'model' to refer to a solution. Only supports satisfaction problems (no objective) - Supports only clauses at this moment!! - Support for conjunctions and implications can be added through - translation to 'aiger', see PySAT's documentation """ if not self.supported(): raise Exception("CPM_pysat: Install the python 'python-sat' package to use this solver interface")