Create minimum MCDC test sets for a boolean expression
-
Updated
Feb 15, 2021 - C++
Create minimum MCDC test sets for a boolean expression
DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm
Logic Network Synthesizer based on Quine–McCluskey algorithm
use method of Quine-McCluskey to find essential prime
A C/C++ implementation of the Quine–McCluskey algorithm.
Repairing Boolean logical models from time-series data using Answer Set Programming
Boolean Function Analyzer and Synthesis Optimization Tool
C++ implementation of Quine-McCluskey and Petrick's method to simplify boolean expressions
A C++ implementation of the Quine-McCluskey algorithm.
software implementation of the tabular method (Quine-McCluskey) to minimize boolean expressions
Add a description, image, and links to the quine-mccluskey topic page so that developers can more easily learn about it.
To associate your repository with the quine-mccluskey topic, visit your repo's landing page and select "manage topics."