Diff SAT Versions Save

Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability

v0.5.2

3 years ago

diff-SAT 0.5.2 jar file for use with JDK/JRE 8 or higher. See README.md for usage instructions.

Copyright (c) 2018, 2021 by Matthias Nickles

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

Major changes compared to previous release:

  • minor improvements and bug fixes
  • renamed to diff-SAT

v0.5.0

3 years ago

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

0.4.1

4 years ago

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)

0.4.0

4 years ago

delSAT 0.4.0 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

License: https://github.com/MatthiasNickles/delSAT/blob/master/LICENSE (MIT License)

Major changes compared to previous release:

  • Simplified usage; support for parameter atom and cost function specification using special logical predicates
  • Support for distinct sets of parameter atoms and measured atoms, enabling preliminary support for abductive/inductive inference
  • Some code cleanup

0.3.2

5 years ago

delSAT 0.3.2 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

License: https://github.com/MatthiasNickles/delSAT/blob/master/LICENSE (MIT License)