There is a newer version of this record available.

Software Open Access

AIGEN: Random Generation of Symbolic Boolean Functions and Transition Systems

Swen Jacobs; Mouhammad Sakr

AIGEN is an open source tool for the generation of transition systems in a symbolic representation. To ensure diversity, it employs a uniform random sampling over the space of all Boolean functions with a given number of variables. AIGEN relies on reduced ordered binary decision diagrams (ROBDDs) and canonical disjunctive normal form (CDNF) as canonical representations that allow us to enumerate Boolean functions, in the former case with an encoding that is inspired by data structures used to implement ROBDDs.

 

Files (6.6 GB)
Name Size
CAV2021.ova
md5:9e143df10123754f7d888526db1db7a3
6.6 GB Download
353
27
views
downloads
All versions This version
Views 353157
Downloads 2718
Data volume 181.5 GB118.4 GB
Unique views 311150
Unique downloads 2617

Share

Cite as