v0.0.2.dev13

What's Changed

• Fix typo in comment for alternative variable guessing implementation. by @AbdallahS in #291
• Caching for type resolution in myclorm. by @VictosVertex in #292

Full Changelog: v0.0.2.dev12...v0.0.2.dev13

v0.0.2.dev12

What's Changed

• restructure folder by @MaxOstrowski in #282
• add information about input/output predicates by @MaxOstrowski in #283
• As/reserved variable names by @AbdallahS in #284
• As/readmes by @AbdallahS in #285
• Update encoding to use _passed(PHASE,LBL,DECL) uniformly and to dro… by @AbdallahS in #286
• Fix tuple arity equality bug. by @AbdallahS in #287
• drop support for conditional_hasValue by @AbdallahS in #288
• reorder module imports in main by @AbdallahS in #289
• Python caching by @VictosVertex in #290

Full Changelog: v0.0.2.dev11...v0.0.2.dev12

v0.0.2.dev11

What's Changed

• update performance tests to be green by @VictosVertex in #280

Full Changelog: v0.0.2.dev10...v0.0.2.dev11

v0.0.2.dev10

What's Changed

• Ks/propagator fixes2 by @kstrauch94 in #273
• As/ssa2 by @AbdallahS in #277
• Tag CHANGES with version number. by @AbdallahS in #278

Full Changelog: v0.0.2.dev9...v0.0.2.dev10

v0.0.2.dev9

What's Changed

• add failed example for invalid warning by @MaxOstrowski in #246
• add statistic tests on no choice and tightness by @MaxOstrowski in #261
• ci on everything, including performance tests by @MaxOstrowski in #262
• As/optimal models tests by @AbdallahS in #270
• Users/mo/postprocessing by @MaxOstrowski in #264
• Users/mo/bad scaling by @MaxOstrowski in #272
• fix optimal and brave reasoning, remove value postprop by @MaxOstrowski in #274

Full Changelog: v0.0.2.dev8...v0.0.2.dev9

v0.0.2.dev8

changelog (#268)

v0.0.2.dev7

What's Changed

• Users/klaus/fixpropagator1 by @kstrauch94 in #249
• As/dev7 by @AbdallahS in #250
• add performance benchmarks by @MaxOstrowski in #254
• As/myclorm by @AbdallahS in #252
• As/wip by @MaxOstrowski in #265

Full Changelog: v0.0.2.dev6...v0.0.2.dev7

v0.0.2.dev6

As/various (#248)

* Avoid python call when optimizing over ints and bools.

* progress uniform treatment of default args.

* Drop support for define

* lock version dev6

v0.0.2.dev5

mark release in CHANGES.

v0.0.2.dev2

What's Changed

• update actions by @MaxOstrowski in #193

Full Changelog: v0.0.2.dev1...v0.0.2.dev2