Popular repositories Loading
-
-
-
-
Logical-Resolution-solver
Logical-Resolution-solver PublicImplementing a logical solver in the C programming language based on resolution by refutation. This solver should determine whether a set of clauses, expressed in simplified conjunctive normal form…
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.