Kissat SAT solver

Use this post to discuss and vote on our newest reasoner Kissat

Kissat is a great SAT solver

2 Likes