add kclustering
Showing
- test/coloring/Makefile 2 additions, 2 deletionstest/coloring/Makefile
- test/coloring/dice5_oracle.lus 0 additions, 26 deletionstest/coloring/dice5_oracle.lus
- test/kclustering/Makefile 27 additions, 0 deletionstest/kclustering/Makefile
- test/kclustering/config.ml 1 addition, 0 deletionstest/kclustering/config.ml
- test/kclustering/cost.lus 33 additions, 0 deletionstest/kclustering/cost.lus
- test/kclustering/kclustering_oracle.lus 31 additions, 0 deletionstest/kclustering/kclustering_oracle.lus
- test/kclustering/p.lus 121 additions, 0 deletionstest/kclustering/p.lus
- test/kclustering/p.ml 1 addition, 0 deletionstest/kclustering/p.ml
- test/kclustering/state.ml 1 addition, 0 deletionstest/kclustering/state.ml
- test/kclustering/verify.lus 55 additions, 0 deletionstest/kclustering/verify.lus
Loading
Please register or sign in to comment