-
Notifications
You must be signed in to change notification settings - Fork 0
Getting Started
osxhacker edited this page May 11, 2013
·
1 revision
Currently, JDK-7 is needed to build and run Smocs. The build tool used is SBT.
The smocs-examples bundle contains complete examples intended to illustrate CSP solver usage. They are very much a "work-in-progress" and will see refinement as Smocs matures.
This example can be run in *nix environments by way of the :
scripts/load-vessels.sh
command. Invoking it without any arguments will produce a simple usage message, with an example invocation looking like :
scripts/load-vessels.sh planes=1 trucks=1 anchors=5 guitars=10 pianos=5 plates=20
Running LoadVessels with 1 planes, 0 ships, and 1 trucks
Shipping 5 anchors, 10 guitars, 5 pianos, and 20 plates
Result:
plane has 5 anchors, 10 guitars, 5 pianos, and 10 plates
truck has 0 anchors, 0 guitars, 0 pianos, and 10 plates
Execution time: 1812 milliseconds