Location: LEMON/LEMON-official/.hgignore - annotation
Load file history
Port DIMACS tools from svn -r3516
Namely,
- apply migrate script
- apply unify sources
- break long lines
- Fixes the compilation
- dim_to_lgf -> dimacs-to-lgf
- better .hgignore
- shorten the doc of dimacs-to-lgf