Ryan Boldi e25dab4798 Implements auto-simplification using k-annealing & tests ...

Select k random elements in plushy. Delete these, and see if the plushy's behaviors are still identical. If they are, this is now the current plushy. If not, decrease k with a certain prob, and try again.

2022-02-26 21:07:32 -05:00

..

push

numeric.spec updates

2022-01-29 12:42:17 -05:00

tools

added str and some boolean tests

2022-01-14 13:40:31 -05:00

utils_test.cljc

Implements auto-simplification using k-annealing & tests

2022-02-26 21:07:32 -05:00