Commit 31451ffa authored by Mateusz Rychlicki's avatar Mateusz Rychlicki
Browse files


parent 40117469
##TODO List
- Pipeline
- Mascot-SDS dirs [M]
- CMakelist
- FairSyn::CuddUBDD and FairSyn::SylvanUBDD [F]
- Doxygen [FM]
- Change comments style [M]
- How to install thinks [FM]
- How to use Fairsyn [F]
- Directory thinks [FM]
- Analysis MEXfiles etc [M]
- FixPoint<BaseUBDD> in FairSyn [FM]
- Translate to ubdd and add to FairSyn [F]
- Add tests [F]
- Applying to Mascot [FM]
- Add tests [M]
- Applying to Synthesis [FS]
- Add tests [S]
......@@ -12,7 +12,7 @@
#include <memory>
#include <utility>
#include <vector>
#include "cudd.h"
#include "cuddObj.hh"
#include "dddmp.h"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment