#

dnf

Here are 7 public repositories matching this topic...

rpm-adapter

artipie / rpm-adapter

Turns your data storage into an RPM repository

java rpm yum dnf repository-management rpm-packages artifact-management private-rpm-repository

Updated May 22, 2024
Java

leabrodyheine / Mosaic-Game-Logical-Agents

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

umbertogriffo / EvolvingDynamicNetwork

Simulation of algorithms on Evolving Dynamic Network.

java algorithm graph graph-algorithms dynamic gephi dnf dnf-importer

Updated Apr 26, 2013
Java

OrhanKupusoglu / quicksort-duplicates

Quicksort implementation which can handle duplicate values as well

quicksort bazel sorting-algorithms dijkstra dnf sedgewick hoare bloch

Updated Apr 9, 2021
Java

julianthome / ctrans

Basic constraint transformation library

java cnf boolean-algebra dnf constraint-transformation-library

Updated Mar 27, 2018
Java

PhonePe / mustang

Search engine for Rules - Indexing boolean expressions at scale

java rules json rule-engine evaluation jackson indexer criteria boolean-expression cnf predicates dnf json-processor indexing-boolean-expression

Updated Aug 21, 2024
Java

easy-do / dnf-admin

某不可描述的勇士game后台

gm frida dnf dp onebot

Updated May 29, 2025
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."