an educational logic program solver for exploring entry-level concepts in satisfiability solving such as 1st UIP, learned clauses, backjumping, etc.
Categories
Artificial IntelligenceFollow mouse-solver
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of mouse-solver!