v1.3.4

What's Changed

• support simple path constraint in k-ind by @gipsyh in #15
• Support old version aiger by @Gy-Hu in #12
• Update shadow-rs requirement from 0.37.0 to 0.38.0 by @dependabot in #13
• Update rand requirement from 0.8.5 to 0.9.0 by @dependabot in #14
• Support compiling on MacOS

Full Changelog: v1.3.3...v1.3.4