GaloisInc/cryptol — pull request #72 by yuuko (2014-08-14 02:36:55+00:00)
Title: :sat now can provide multiple solutions to equations given to it, the nu...

...mber shown can be set with :set satNum , where <0 shows all solutions