👩💻 Join our community of thousands of amazing developers!
Hello! We have a new open-source release of Soufflé for you. Key features are Added --legacy flag to allow use of legacy options (darth-tytus) Added --show [...] flag to show various extra bits of information for debugging/optimising (lyndonhenry) Query interface for provenance (yuli6313) Removed MPI support (b-scholz) Removed bddbddb and logicblox converters (b-scholz) Removed checkpointed evaluation (b-scholz) Extended inlining support (azreika) Added AST debug output for final ‘optimised dat...