#

knf

Here are 3 public repositories matching this topic...

pgphi / Logic-based-SAT-Clause-Creater

This algorithms computes the clauses needed, to solve Minesweeper and check for satisfiability

sat-solver satisfiability knf

Updated Feb 25, 2022
Python

seansten / sriramk123

ddddd ggg kui knf

Updated May 10, 2024

essentialkaos / knf-bash

Parser for KNF files for use in bash scripts

Updated Sep 22, 2021
Shell

Improve this page

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