boolean-function topic

The expressive declarative toolkit for composing predicates in TypeScript or JavaScript

ryardley

A fast and certifying solver for quantified Boolean formulas.

MarkusRabe

Lightweight condition parsing and building of evaluation expressions

axiros

C++ truth table library

msoeken