|
SafetySynth
|
A symbolic safety game solver written in Swift |
|
CUDD
|
/usr/src/package: error: package at '/usr/src/package' is using Swift tools version 3.1.0 which is no longer supported; consider using '// swift-tools-version:5.2' to specify the current tools version
|
|
CAiger
|
/usr/src/package: error: package at '/usr/src/package' is using Swift tools version 3.1.0 which is no longer supported; consider using '// swift-tools-version:5.2' to specify the current tools version
|
|
Aiger
|
A lightweight, swifty (and incomplete) wrapper around the AIGER library |