Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
-
Updated
Jul 1, 2024 - Scala
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
The currently untitled strategy game is a probabilistic battle simulator, aiming to capture the uncertainty of traversing and engaging in combat on unknown territory against unknown enemies in a 1 vs 1 local game of conquest taking place on a customizable map made of different terrain types with a variety of troops.
Scala embedded universal probabilistic programming language
Bloom filter for Scala, the fastest for JVM
Add a description, image, and links to the probabilistic topic page so that developers can more easily learn about it.
To associate your repository with the probabilistic topic, visit your repo's landing page and select "manage topics."