Download

Version 0.1 (2010-06-12)

• mcsti-0.1.bz2 (32-bit Linux binary)

License

mcsti may be used for any purpose.

Usage

mcsti options aiger-file

Documented options are

--hwmcc	Use HWMCC'10 options, because that sounds like a good idea
--model	Print counter-example for invalid properties
--verbose	Print more on standard output, I want to see that something's happening

Acknowledgements

mcsti uses the SAT solver MiniSat by Niklas Eén and Niklas Sörensson.

It also uses the AIGER library by Armin Biere for parsing.

A word of warning

mcsti might not work as you would expect.