Variables as dimacs
Update backparse
Nearly complete dimacs
Dimacs ready bparser broken
Trying to fix logix
Fix logic
Finish
New path check
Fixing bug in path check
Add a* for path checking
Delete useless function
Playing with variables
Update main
Minor changes in main.cpp
Add define
Change output
First line...
Add unsat
Release
Update?