Skip to content
#

dnf

Here are 179 public repositories matching this topic...

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.

  • Updated Feb 29, 2024
  • Java

Improve this page

Add a description, image, and links to the dnf 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 dnf topic, visit your repo's landing page and select "manage topics."

Learn more