3
Repos
70
Stars
20
Forks
70
Watchers
Repositories (3)
tabu_search-vrpcd
theosotr/tabu_search-vrpcd
Python
A Tabu Search algorithm for the Vehicle Routing Problem with Cross-Docking.
48
18
cynthia
theosotr/cynthia
Scala
Data-Oriented Differential Testing of ORM Systems.
15
1
buildfs
theosotr/buildfs
OCaml
A dynamic method for detecting faults in incremental and parallel builds.
7
1