add horn sat algorithm (#5) · Issues · aalbert / LogIA