Reductions of SHA family hash functions to SAT.
-
Updated
Dec 11, 2018 - C
#
boolean-expression
Here are 8 public repositories matching this topic...
An implementation of the Quine-McCluskey-Algorithm for Boolean function minimization, written in C.
boolean-expression logic-minimization c-programming quine-mccluskey-algorithm tabular-methods logic-parser quine-mccluskey-method
-
Updated
Jan 6, 2026 - C
C language keywords standards C89 C99 C11
c state-management atomic issue-tracker keywords course-project boolean-expression threads standard-library interview-preparation practice-project cprogramming-language noreturn
-
Updated
May 7, 2026 - 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
(Prefix Boolean Grammar) A lightweight grammar for writing and evaluating boolean expressions. (And a C library.)
-
Updated
Apr 3, 2019 - C
A robust tool that simplifies 3-variable Boolean expressions using Karnaugh Map (K-map) logic.
-
Updated
Oct 19, 2025 - C
A command line tool that searches things with boolean expressions.
search search-engine parser parse boolean boolean-expression search-algorithm boolean-algebra searching boolean-operations de-morgans-laws
-
Updated
Feb 26, 2023 - C
CLI parser and evaluator for boolean expressions
-
Updated
Oct 14, 2025 - C
Improve this page
Add a description, image, and links to the boolean-expression topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the boolean-expression topic, visit your repo's landing page and select "manage topics."