chc
Here are 8 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
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
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
Nov 16, 2023 - HTML
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
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."