A fast and certifying solver for quantified Boolean formulas.
-
Updated
Apr 30, 2024 - C
#
boolean-logic
Here are 3 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
Sep 19, 2023 - 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
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."