-
Notifications
You must be signed in to change notification settings - Fork 9
List of third party software used
Sukrut Rao edited this page Oct 24, 2017
·
4 revisions
- Open-WBO 2.0 (http://sat.inesc-id.pt/open-wbo/) and (https://github.com/sat-group/open-wbo)
- yaml-cpp 0.5.3 (https://github.com/jbeder/yaml-cpp)
- CSVparser (https://github.com/MyBoon/CSVparser/tree/540e3e2f46b77ea8178f90910a165695cbb6cc12)
- PEGTL 2.2.0 (https://github.com/taocpp/PEGTL)
- googletest 1.8.0 (https://github.com/google/googletest)