Releases: tniessen/aiger-safety-properties
Releases · tniessen/aiger-safety-properties
Revision 3a. Version 1.2.0 (2023-10-07)
Revision 2a. Version 1.1.0 (2023-10-04)
This release contains 23 new files, namely, the lfsr-period
directory.
Revision 1a. Version 1.0.0 (2023-10-03)
This is the original set of files from March 2023.