3.8: optimizations

pauleve released this 28 Aug 13:45

· 8 commits to master since this release

f481591

🚀 Optimizations

load ASP code at once
introduce CLINGO_OPTS environment variable to pass options to clingo
add optimized methods for counting solutions

🗒️ Full Changelog: v3.5...v3.8

Assets 2