chc

There are 9 repositories under chc topic.

  • masternodes/vps

    A handy bash script to setup crypto masternodes in no time. Initially developed for $PIVX. Now many more ;-)

    Language:Shell25051111488

  • chaoabunga/mnscripts

    One liners to make life easier.

    Language:Shell1910120

  • Chronosymbolic/Chronosymbolic-Learning

    Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python

    Language:Python8100

  • divyeshunadkat/PARQ

    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.

    Language:SMT2200

  • alexandretea/gachc-steinerproblem

    Genetic Algorithms (Canonical and CHC) solving the Generalised Steiner Problem

    Language:C++1100

  • farif/CHCReasoner

    Simple Horn Clause Reasoner

    Language:Python1001

  • ivandapalma/Metaheuristic

    Genetic Algorithm and Search Algorithms

    Language:MATLAB0001

  • Vladimir-Urik/chc-javascript

    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.

    Language:HTML10

  • Vladimir-Urik/nebrecime.cz

    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!

    Language:HTML10