Basic constraint transformation library
-
Updated
Mar 27, 2018 - Java
Basic constraint transformation library
A simple compiler for parsing java codes and get syntax errors with CYK algorithm for context free grammars (CFG)
Search engine for Rules - Indexing boolean expressions at scale
A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem
This project implements an intelligent agent to solve the Mosaic logic puzzle using strategies such as Single Point Strategy, Satisfiability Test Reasoning (with DNF and CNF encoding), and Probabilistic Reasoning. It utilizes frameworks and libraries including Java, LogicNG, and SAT4J for logical reasoning and satisfiability problems.
Automatically checks whether a given propositional formula is satisfiable.
Visual and interactive tool to visualize, learn about, and step through the resolution of SAT CNF formulas
Add a description, image, and links to the cnf topic page so that developers can more easily learn about it.
To associate your repository with the cnf topic, visit your repo's landing page and select "manage topics."