chc
Here are 9 public repositories matching this topic...
Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python
-
Updated
Aug 4, 2024 - Python
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
Simple Horn Clause Reasoner
-
Updated
Oct 7, 2021 - Python
Genetic Algorithms (Canonical and CHC) solving the Generalised Steiner Problem
-
Updated
Oct 22, 2017 - C++
Genetic Algorithm and Search Algorithms
-
Updated
Mar 28, 2017 - MATLAB
Tento repozitář obsahuje sérii krátkých projektů v jazyce JavaScript, které jsem vypracoval v rámci úkolů zadávaných učitelem během vyučovací hodiny. Postuju je zde kvůli spolužákům nebo lidem, kteří by se chtěli inspirovat mými řešeními.
-
Updated
Nov 22, 2023 - HTML
Top legendary stránka pre študentov školy CreativeHill.CZ! Nájdu na nej poznámky z maturitných predmetov a niečo naviac k VMA!
-
Updated
Aug 13, 2024 - HTML
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."