Skip to content

delSAT version 0.4.1

Pre-release
Pre-release

Choose a tag to compare

View all tags
@MatthiasNickles MatthiasNickles released this 18 Jul 10:53
· 200 commits to master since this release
0.4.1
87727fc
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

delSAT 0.4.1
jar file for use with JDK/JRE 8 or higher. See README.md in source code folder for usage instructions.

Copyright (c) 2018, 2019 by Matthias Nickles

Licensed under MIT License (see file LICENSE for details).

Major changes compared to previous release:

  • Support for clauses annotated with probabilities in DIMACS CNF (Probabilistic CNF)
  • eval for ad hoc querying of probabilities and other statistics (e.g., remaining costs/errors)
  • Argument -s for sampling uniformly from a multisolution
  • Argument -n -k for padding a multisolution with models sampled uniformly from that solution
  • Improved and automatically activated (if needed) finite differences approach
  • Typically higher solution entropy for the same sample size
  • Support for non-quoted cost and eval terms using plain logic programming term notation
  • Several minor improvements and bug fixes
  • Enhanced documentation (README.md)
Assets 3
Loading