OTAWA Development Manual
H. Cassé
Content
1 Script Development
2 Development of Loader
3 Analyzer Development
4 ILP Solver Development