There is a newer version of the record available.

Published August 28, 2024 | Version v3.8
Software Open

bnediction/mpbn: 3.8: optimizations

Authors/Creators

  • 1. LaBRI https://www.labri.fr/

Description

🚀 Optimizations

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

🗒️ Full Changelog: https://github.com/bnediction/mpbn/compare/v3.5...v3.8

Files

bnediction/mpbn-v3.8.zip

Files (348.4 kB)

Name Size Download all
md5:7f85c9ce45e74cc673ffde3e39322e82
348.4 kB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/bnediction/mpbn/tree/v3.8 (URL)