boolean-function
Here are 29 public repositories matching this topic...
A fast and certifying solver for quantified Boolean formulas.
-
Updated
Apr 30, 2024 - C
C++ header-only ESOP library
-
Updated
May 18, 2024 - C++
Discrete Mathematics course at ITMO University
-
Updated
Jul 29, 2022 - C++
Generate a perfect disjunctive normal form (PDNF) and a perfect conjunctive normal form (PCNF) for boolean functions generator
-
Updated
May 31, 2020 - C++
The expressive declarative toolkit for composing predicates in TypeScript or JavaScript
-
Updated
Mar 10, 2023 - TypeScript
Lightweight condition parsing and building of evaluation expressions
-
Updated
Feb 11, 2023 - Python
Minimal disjunctive normal form (MDNF): Table and Result in Qt
-
Updated
May 20, 2020 - C++
Python package to determine characteristics of Boolean functions [noise sensitivity, expected values, etc.]
-
Updated
May 22, 2023 - Python
Creating and analyzing interaction graphs based on boolean functions
-
Updated
Apr 13, 2016 - Java
Application for computing cryptographic characteristics of boolean functions
-
Updated
Aug 27, 2019 - Cuda
-
Updated
Mar 27, 2024 - MATLAB
Write function find all Boole function, calculate in vector and matrix
-
Updated
Jun 16, 2020 - C++
Computation of logical bifurcation diagrams of (Boolean or multivalued) logical functions
-
Updated
Oct 30, 2018 - Java
Geffe generator parallelized correlation attack
-
Updated
Mar 10, 2019 - Cuda
Compute distance-k neighbours of any monotone Boolean Function
-
Updated
May 27, 2021 - Java
enter an integer and it will do the rest
-
Updated
Jan 5, 2020 - Java
Learning A Boolean function with features and Data points
-
Updated
Jun 23, 2019 - Python
Lectures and practices from university functional programming course on Haskell
-
Updated
Jun 28, 2022 - Haskell
Improve this page
Add a description, image, and links to the boolean-function topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the boolean-function topic, visit your repo's landing page and select "manage topics."