dnf
Here are 7 public repositories matching this topic...
Search engine for Rules - Indexing boolean expressions at scale
-
Updated
Aug 21, 2024 - Java
Basic constraint transformation library
-
Updated
Mar 27, 2018 - Java
Turns your data storage into an RPM repository
-
Updated
May 22, 2024 - Java
Simulation of algorithms on Evolving Dynamic Network.
-
Updated
Apr 26, 2013 - Java
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.
Add this topic to your repo
To associate your repository with the dnf topic, visit your repo's landing page and select "manage topics."