Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.

There is a newer version of the record available.

Published April 26, 2021 | Version v1
Software Open

AIGEN: Random Generation of Symbolic Boolean Functions and Transition Systems

  • 1. CISPA Helmholtz Center for Information Security
  • 2. Saarland University, CISPA Helmholtz Center for Information Security

Description

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

Files (6.4 GB)

Name Size Download all
md5:301e9749c0019c6b17dfea2e9bb1cce8
6.4 GB Download