8000 logicng · GitHub Topics · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
#

logicng

Star

Here is 1 public repository matching this topic...

leabrodyheine / Mosaic-Game-Logical-Agents

Star 0

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.

backend logic-programming cnf dnf ai-agents satisfiability sat4j logical-ag logicng
  • Updated Feb 29, 2024
  • Java

Improve this page

Add a description, image, and links to the logicng topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the logicng topic, visit your repo's landing page and select "manage topics."

Learn more

0