#

clause

Here are 3 public repositories matching this topic...

leungll / Topk-Coding

A method to enumerate top-k cliques.

encoding top-k clique clause solver-algorithm

Updated May 12, 2024
Python

vaibhavkarve / normal-form

A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability (SAT)

logic python3 cnf sat-solver sat clause

Updated Sep 30, 2024
Python

farif / CHCReasoner

Simple Horn Clause Reasoner

horn datalog constraint disjunctive clause dlv chc forward-chaining-algorithm deductive-database-system

Updated Oct 7, 2021
Python

Improve this page

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