Skip to content

Releases: tniessen/aiger-safety-properties

Revision 3a. Version 1.2.0 (2023-10-07)

07 Oct 13:51
Compare
Choose a tag to compare

This release contains 25 new files: fermats-last-theorem (20 files) and hamming-code (5 files).

Revision 2a. Version 1.1.0 (2023-10-04)

04 Oct 17:33
Compare
Choose a tag to compare

This release contains 23 new files, namely, the lfsr-period directory.

Revision 1a. Version 1.0.0 (2023-10-03)

03 Oct 20:23
Compare
Choose a tag to compare

This is the original set of files from March 2023.