#
chc
Here are 6 public repositories matching this topic...
PARQ is an automatic parallelization engine based on Skolem Function Synthesis and Quantified Invariant Generation. It is aimed at parallelization of array modifying programs written as Constrained Horn Clause (CHC) formulas.
-
Updated
Nov 14, 2021 - SMT
Genetic Algorithms (Canonical and CHC) solving the Generalised Steiner Problem
-
Updated
Oct 22, 2017 - C++
Genetic Algorithm and Search Algorithms
genetic-algorithm
local-search
simulated-annealing
ant-colony-optimization
searching-algorithms
random-search
qap
metaheuristics
hamming-distance
chc
-
Updated
Mar 28, 2017 - MATLAB
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."