about summary refs log tree commit diff
path: root/utils/optimin/EvalMaxSAT
AgeCommit message (Collapse)Author
2022-05-31remove optiminvanhauser-thc
2021-07-21utils: added optimin corpus minimizerAdrian Herrera