sparrow is Nurse Scheduling Problem Solver with AUK. AUK is a Domain Specific Language that can describe Scheduling Problem. sparrow is created based on swallow.
An interface to SAT Solver is provided by Ravensat.
Install Minisat for Linux(Debian):
$ sudo apt install minisat
for MacOS:
$ brew install minisat
Install from GitHub: See Minisat(GitHub)
After cloning this repository, set it up with the following command.
$ ./bin/setup
Usage: sparrow [options] <auk_file> -d, --debug (default: false) -f, --format [VALUE] [auk | html | json] (default: auk) -s, --solver [VALUE] (default: minisat)
AUK file samples are located under example/.
$ ruby exe/sparrow AUK_FILE_PATH
The gem is available as open source under the terms of the MIT License.