Switch branches/tags
Nothing to show
Commits on Jan 8, 2016
  1. Added theories.generator.gen_all, which generates theories

    elimisteve committed Jan 8, 2016
    Does so based upon the list of properties provided. Can also be passed
    an example theory (in the form of a dict). Returns a list of all
    possible theories with the given properties.
Commits on Jan 7, 2016
Commits on Dec 6, 2015
Commits on Dec 1, 2015
Commits on Nov 15, 2015