search

limo1996 / SAT-Solver

Parallel SAT Solver
8 stars 1 forks source link

Folder reorganisation #14

Closed limo1996 closed 6 years ago

limo1996 commented 6 years ago

We have too much folders in main folder. After Mondays presentation we should move all tests to common test folder, rename python_wrapper to scrips, move randomCNF to scripts.

ebhardjan commented 6 years ago

sounds good The randomCNF script that is currently used has been already moved to the python_wrapper folder. The randomCNF folder can be remove entirely.

ebhardjan commented 6 years ago

done in commit f96d4f1