0.3.11

What's Changed

• Updating documentation by @haz in #212

Full Changelog: v0.3.10...v0.3.11

0.3.10

What's Changed

• Major shift in the github actions used. by @haz in #211

Full Changelog: v0.3.9...v0.3.10

0.3.9

What's Changed

• genrator.generate plan update by @omereliy in #204
• updated the target python versions

New Contributors

• @omereliy made their first contribution in #204

Full Changelog: v0.3.8...v0.3.9

0.3.8

What's Changed

• Reverting to the paper style, and putting in a check. by @haz in #203

Full Changelog: v0.3.7...v0.3.8

0.3.7

What's Changed

• Retrieve the appropriate phi object for debug output. by @haz in #202

Full Changelog: v0.3.6...v0.3.7

0.3.6

What's Changed

• Sample single solution for SLAF by @haz in #201

Full Changelog: v0.3.5...v0.3.6

0.3.5

Minor bug fix.

0.3.4

What's Changed

• Remove lifted fluent restriction when extracting lifted model by @e-cal in #198
• More in depth debugging. by @haz in #199

Full Changelog: v0.3.3...v0.3.4

0.3.3

What's Changed

• Publicise extraction techniques' docs by @e-cal in #196
• Minor fix to locm debugging. by @haz in #197

Full Changelog: v0.3.2...v0.3.3

0.3.2

Fixing pdoc generation.