Skip to content

Version 0.11.0-SMC
Compare
Choose a tag to compare
@nvcleemp nvcleemp released this 07 Apr 13:24
· 30 commits to master since this release
0.11.0-SMC
4d54d02
  • Fixed a bug with property-based conjecturing which caused the program to not produce any conjectures if a very specific set of conditions were satisfied..
  • Added docstrings to the conjecturing methods
  • Added support for providing precomputed values.
Assets 2
Loading