README.md: add linux locks example
[model-checker.git] / test / mo-satcycle.cc
2013-07-10 Brian Norristest: mo-satcycle: add new MO satisfaction cycle example