Skip to content

delSAT version 0.5.0

Pre-release
Pre-release

Choose a tag to compare

View all tags
@MatthiasNickles MatthiasNickles released this 17 Sep 10:15
· 145 commits to master since this release
v0.5.0
402025b
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.5.0
jar file for use with JDK/JRE 8 or higher. See README.md in source code folder for usage instructions.

Copyright (c) 2018, 2020 by Matthias Nickles

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

Major changes compared to previous release:

  • Optimized SAT solver core with typically significantly improved performance (and thus also improved sampling performance)
  • User API for solving problems with probabilistic or non-probabilistic CNF clauses and ASP ground rules
  • User API support for probabilistic non-ground normal rules and free loss function terms
  • Aspif and User API support for weight and choice rules, double default negation in rule bodies, and double and single negation in rule heads
  • User API documentation (not very detailed yet, but should be sufficient to get started)
  • Probabilistic Answer Set Programming Intermediate Format (PASPIF) (Aspif enhanced with a new probabilistic rule type)
  • CDNL interleaved with Stochastic Local Search (WalkSAT or Simulated Annealing (SASAT-style)) for regular SAT solving
  • Bug fixes and several minor improvements
  • Some code cleanup and refactoring
Assets 5
Loading