probabilistic-asp

There are 1 repositories under probabilistic-asp topic.

  • MatthiasNickles/diff-SAT

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

    Language:Scala63414