3sat solver done in c Haskell and prolog based on the dpll algorithm Built With cmakefileshell Try it out github.com
Updates Michael S Walker started this project — Feb 18, 2019 03:13 PM EST Leave feedback in the comments! Log in or sign up for Devpost to join the conversation.
Michael S Walker started this project — Feb 18, 2019 03:13 PM EST Leave feedback in the comments! Log in or sign up for Devpost to join the conversation.
Log in or sign up for Devpost to join the conversation.