]> git.saurik.com Git - apt.git/search
send the scenario through a pipe to the solver and get the solution back