CDCL-SAT-solver

Install minisat:

Run: "sudo apt install minisat"

Install satispy:

source: https://github.com/netom/satispy/

Run: "sudo pip install satispy"

From the satispy documentation:

Expressions can be built by creating variables and gluing them together arbitrarily with boolean operators:

NOT: - (unary)

AND: &

OR: |

XOR: ^

IMPLICATION >>