First-ever high-performance thread-safe BDD library
-
Updated
Nov 12, 2023 - C++
First-ever high-performance thread-safe BDD library
This repository holds the Affine Arithmetic Decision Diagrams library
An TDD/BDD framework for c++ projects | Mirror of https://codeark.it/Bithero-Agency/cxxspec
Simple constructor for acceptance tests
Add a description, image, and links to the bdd-framework topic page so that developers can more easily learn about it.
To associate your repository with the bdd-framework topic, visit your repo's landing page and select "manage topics."