A Python tool for simulating gate-level digital circuits from ISCAS-format netlists. It computes output values for user-defined inputs and recursively generates Boolean expressions for each output.

Fast, Safe, and Expressive evaluation of Google's Common Expression Language (CEL) in Python, powered by Rust. The Common Expression Language (CEL) is a non-Turing complete language designed for ...