v0.3.1

This latest iteration of the fiction framework aims at performance, stability, and usability improvements on many levels. Inspired by Alan Mishchenko's work, exact has been completely reworked to gain significant performance improvements (up to 50% on some benchmarks) and support for parallelism that helps with larger circuit layouts. Also, ortho has been optimized to no longer need to post-process layouts.

Additionally, the code from our latest paper "Verification for Field-coupled Nanocomputing Circuits" in DAC 2020 is available in this release to perform equivalence checks between layouts and specifications. Further additions include but are not limited to new commands for energy and area calculations, further flags for existing algorithms, build improvements, and fixes for all reported bugs. To learn more, see the full CHANGELOG.