All Categories → No Category → bitvector

Top 3 bitvector open source projects

Succinct Data Structure Library 3.0

✭ 55

C++TeX Makefile r CMake c indexing data-structures bitvector suffixarray compressed-suffix-trees fm-index template-library wavelet-tree lcp-array succint-data-structure cpp20

Specify and synthesize systems using symbolic algorithms

✭ 36

python TLA Makefile automata symbolic synthesis temporal-logic streett rabin bitvector logic-minimization

A simple (unfinished) SMT solver for QF_ABV.

✭ 30

rust symbolic-execution smtlibv2 bitvector smt decision-procedure

1-3 of 3 bitvector projects