search

SRI-CSL / sally

A model checker for infinite-state systems.
http://sri-csl.github.io/sally/
GNU General Public License v2.0
69 stars 12 forks source link

Fix compile time #9

Closed dddejan closed 9 years ago

dddejan commented 10 years ago

possible culprit boost::program_options