Resolve "add horn sat algorithm"

aalbertrequested to merge
5-add-horn-sat-algorithm into main

Closes #5 (closed) Closes #4 (closed)

Edited by aalbert

Merge request reports