Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
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:
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:
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:
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:
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)