nondeterminism 3.1.1

What’s new

Updated the news section of the README.

nondeterminism 3.1.0

What’s new

This minor version adds one interface change: you can now write guess(mode=maximize) (resp., guess(mode=minimize)) as a prettier synonym for guess(mode=maximize()) (resp., guess(mode=minimize()), that is, for optimising over the values themselves (key=lambda x: x). See the updated documentation for an example.

Besides, the code was simplified (there was actually no need for a stack of interprocess queues, when you can just exploit the call stack!) and reorganised.

nondeterminism 3.0.0

What’s new

Version 3.0.0 of the nondeterminism library remains compatible with the previous one, but adds many new features:

• Installation via pip (pip install nondeterminism)
• A useful error message when calling guess outside a nondeterministic context
• New types of nondeterminism:
  • Conondeterminism (universal/conjunctive guesses)
  • Alternation
  • Counting
  • Majority
  • Optimisation, both min and max
• Custom types of nondeterminism via the mode parameter to guess

nondeterminism 2.0.1

This patch release includes some cosmetic changes to the source code that are completely invisible to the user.

nondeterminism 2.0

Incompatible (but IMHO) worthy changes to the interface

nondeterminism 1.0

First stable version