boolean-function

msoeken/kitty

C++ truth table library

MarkusRabe/cadet

A fast and certifying solver for quantified Boolean formulas.

axiros/pycond

Lightweight condition parsing and building of evaluation expressions

agievich/GF2

A C++ library for algebra over GF(2)

hriener/easy

C++ header-only ESOP library

aalanwar/Logical-Zonotope

exsandebest/MDNF

Minimal disjunctive normal form (MDNF): Table and Result in Qt

AkiMosi/Self-Learning-Model-Binary-Expression-

Learning A Boolean function with features and Data points

cannor147/itmo-dm

Discrete Mathematics course at ITMO University

FranMaric/diglog

Web app that helps you with subject "Digitalna logika" at FER. Check it out!

isopropylcyanide/Interaction-Graph

Creating and analyzing interaction graphs based on boolean functions

JellePiepenbrock/Boolan

Python package to determine characteristics of Boolean functions [noise sensitivity, expected values, etc.]

ptgm/functionhood

[DEPRECATED] This repository is no longer maintained.

ptgm/pyfunctionhood

Local computation of immediate neighbours of a given monotone non-degenerate Boolean function

QuocThuanTruong/bool-function

Write function find all Boole function, calculate in vector and matrix

anubhab001/sbox-threshold-public

Source-codes (with examples) to get threshold implementations for a given SBox

brismonis/PDF-to-Rules

Python Code to extract gene regulatory Information and create Boolean functions from PDFs using OCR and NLP, realized as a Django Website.

brsnik/boolif-postgresql

A PostgreSQL function that returns a custom value if two booleans match.

dimtics/adversarial-neural-crypto-and-Boolean-function-truth-table

Re-adapted implementation of Adversarial neural network model described in Learning to Protect Communications with Adversarial Neural Cryptography (Martín Abadi & David G. Andersen, 2016). The primary code is authored by Liam Schoneveld (https://nlml.github.io/neural-networks/adversarial-neural-cryptography/).

IvanTry228/PDNF_and_PCNF_generator

Generate a perfect disjunctive normal form (PDNF) and a perfect conjunctive normal form (PCNF) for boolean functions generator

MaximilianMoeller/PROOF

Implementation for my research project on local search for learning PaRtial bOOlean Functions.

ptgm/bifurcation

Computation of logical bifurcation diagrams of (Boolean or multivalued) logical functions

SergeyBel/cryptofield

Cryptofield is a library to work with discrete algebraic objects. Useful for research in discrete mathematics and cryptography

ZaherBG/Prime-not-a-prime-or-a-prime-with-a-twin

enter an integer and it will do the rest

ivanvikhrev/functional-programming-course

Lectures and practices from university functional programming course on Haskell

lambdacasserole/exhaustion

A tiny library to help in exhaustive testing of Boolean functions in Python.

Lipen/kotlin-quine-mccluskey

Quine-McCluskey boolean function minimizer for Kotlin

paraggoyal28/nan2tetris-1

Programming assignments for nand2tetris part1 course