Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python
-
Updated
Aug 4, 2024 - Python
#
chc
Here are 2 public repositories matching this topic...
Simple Horn Clause Reasoner
horn datalog constraint disjunctive clause dlv chc forward-chaining-algorithm deductive-database-system
-
Updated
Oct 7, 2021 - Python
Improve this page
Add a description, image, and links to the chc topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the chc topic, visit your repo's landing page and select "manage topics."