Commit Graph

5 Commits

Author SHA1 Message Date
Patrick Lühne e01506f9ff
Drop Boost dependency
Boost was only used for program option parsing. To avoid this huge
dependency, this commit replaces boost::program_options with cxxopts,
a header-only library with the same functionality.

cxxopts is added as a submodule, and Boost is removed from the
dependencies in the code and Travis configuration.
2018-03-25 17:24:06 +02:00
Patrick Lühne addc65e3c5
Update Catch to 2.2.1 2018-03-21 16:35:54 +01:00
Patrick Lühne 825cd4de39
Refactored formula simplification with Clingo’s variants. 2017-03-23 00:44:10 +01:00
Patrick Lühne 76fb530492
Added MapBox variant library as submodule. 2017-03-07 23:51:58 +01:00
Patrick Lühne 3100f4a733
Initial commit. 2016-11-21 17:53:46 +01:00