S src
S lib/sasacore
S lib/sasa
S lib/algo
S ../rdbg/lib
S ../rdbg/bin
S ../lutils/bin
S ../lutils/lib
S ../lutin/lib/lutin
S ../lutin/lib/bddand
S ../lutin/lib/ezdl
S ../lutin/lib/polka
S ../lutin/bin




B $OPAM_SWITCH_PREFIX/lib/ocaml
B $OPAM_SWITCH_PREFIX/lib/ocamlgraph
B _build/default/src/.sasaMain.eobjs
B _build/default/lib/algo/.algo.objs
B _build/default/lib/sasa/.sasa.objs
B _build/default/lib/sasacore/.sasacore.objs