search

FlorentAvellaneda / EvalMaxSAT

State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques
GNU General Public License v3.0
14 stars 4 forks source link

removed build files #1

Closed adrianherrera closed 3 years ago

adrianherrera commented 3 years ago

Just trying to clean this up so I can include it with some other codebases :)

FlorentAvellaneda commented 3 years ago

Thank you for the cleaning :)