A fast and certifying solver for quantified Boolean formulas.
-
Updated
Apr 29, 2025 - C
#
boolean-logic
Here are 7 public repositories matching this topic...
Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
-
Updated
Dec 11, 2025 - C
A tile-based visual programming game where players solve boolean logic puzzles.
-
Updated
Oct 22, 2025 - C
Programa que dá a tabela-verdade de uma expressão booleana, escrito em C.
table logic boolean-expression truth truth-table logica boolean-logic truth-table-generator tabela-verdade
-
Updated
Jun 18, 2018 - C
💡 Comparative programming language experiments analyzing core features like Boolean logic, iteration, subprogram design, and lexical analysis through C, Go, Python, JavaScript, Kotlin, PHP, Rust, and Lex.
-
Updated
Jun 25, 2025 - C
CLI parser and evaluator for boolean expressions
-
Updated
Oct 14, 2025 - C
A robust tool that simplifies 3-variable Boolean expressions using Karnaugh Map (K-map) logic.
-
Updated
Oct 19, 2025 - C
Improve this page
Add a description, image, and links to the boolean-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the boolean-logic topic, visit your repo's landing page and select "manage topics."