Results for simple_bdd

A simple BDD library for testing python code.

A simple BDD-based symbolic model checker for Computational Tree Logic

Simple abstraction layer for interacting with different async runtimes for the Integra8 test framework

A simple thread-safe implementation of basic binary decision diagrams.

An immensely simple library for story-driven development

A Binary Decision Diagram (BDD) crate that provides a unified interface for the CUDD and OxiDD BDD libraries. This crate is part of the TACO toolsuite.

Solver for ADFs grounded, complete, and stable semantics by utilising OBDDs - ordered binary decision diagrams

Kitten is a light bdd framework for Rust and for those who don't like cucumber - cats don't like cucumbers, kittens are light cats.

Library to solve grounded, complete, and stable ADF-semantics by utilising OBDDs - ordered binary decision diagrams

A BDD testing framework for Rust, built on rstest.

Procedural macros for the rstest-bdd testing framework.

A macro for writing tests in a Behaviour Driven (BD) style.

Ship production quality code with AI - A formal specification language and template system for AI-assisted development