added POMDPToolbox requirement

JuliaPOMDP · Jun 10, 2017 · d13ba42 · d13ba42
1 parent 8e9bde2
commit d13ba42
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/REQUIRE b/REQUIRE
@@ -1,4 +1,5 @@
 julia 0.5
 POMDPs
+POMDPToolbox
 ParticleFilters
 Parameters