development of programs for verification at Arpae-Simc
Instructions not filled in by author. Author knows what to do. Everybody else should avoid this repo.
This is a companion discussion topic for the original entry at https://copr.fedorainfracloud.org/coprs/lbressan/mare/