Skip to content
View conp-solutions's full-sized avatar
19 followers · 3 following

Achievements

Achievement: Pull Sharkx3Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report conp-solutions

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • mergesat Public

    Forked from niklasso/minisat

    configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)

    sat automated-reasoning
    C++ 40 3 Other Updated Nov 20, 2023

  • ascon-c Public

    Forked from ascon/ascon-c

    Ascon - Lightweight Authenticated Encryption & Hashing

    C Creative Commons Zero v1.0 Universal Updated Apr 11, 2023

  • cbmc Public

    Forked from diffblue/cbmc

    C Bounded Model Checker

    SWIG Other Updated Mar 25, 2023

  • SpecSAT Public

    Allow to benchmark hardware wrt sequential and parallel SAT solvers

    Python 3 1 MIT License Updated Feb 5, 2023

  • riss Public

    Riss SAT Solver

    C++ 8 5 GNU Lesser General Public License v2.1 Updated Nov 15, 2022

  • modularityGen Public

    Modularity based CNF generator

    C++ GNU General Public License v3.0 Updated Sep 4, 2022

  • aws-competition-solver Public

    Forked from aws-samples/aws-satcomp-solver-sample

    mallob-aws

    Python MIT No Attribution Updated Aug 9, 2022

  • aws-batch-comp-infrastructure-sample Public

    Forked from aws-samples/aws-batch-comp-infrastructure-sample

    Fork of the AWS comp infrastructure, to be conumed by other repositories as submodule

    Python MIT No Attribution Updated Jun 7, 2022

  • mallob Public

    Forked from domschrei/mallob

    Malleable Load Balancer. Multitasking Agile Logic Blackbox. Award-winning SAT solving for the cloud.

    C++ GNU Lesser General Public License v3.0 Updated Apr 29, 2022

  • cadical Public

    Forked from arminbiere/cadical

    CaDiCaL SAT Solver

    C++ MIT License Updated Apr 28, 2022

  • hordesat Public

    Forked from biotomas/hordesat
    C++ 1 MIT License Updated Apr 25, 2022

  • kissat Public

    Forked from arminbiere/kissat
    C MIT License Updated Apr 25, 2022

  • yalsat Public

    Forked from arminbiere/yalsat

    SLS SAT solver

    C MIT License Updated Mar 31, 2022

  • summle-solver Public

    Implement a solver for the math puzzles given on https://summle.net/, which allows to use verification tools for C programs.

    C 1 MIT License Updated Mar 18, 2022

  • glucose3.0-hack-track Public

    Git repository to easily follow diffs of participants in the hack track (https://satcompetition.org/)

    C++ Other Updated Jan 31, 2022

  • ipasir Public

    Forked from biotomas/ipasir
    C++ Other Updated Jan 7, 2022

  • lingeling Public

    Forked from arminbiere/lingeling

    Lingeling SAT Solver

    C MIT License Updated Jan 5, 2022

  • cnfmiter Public

    tool to produce CNFs that certify equivalence of 2 input CNFs

    C++ 3 Other Updated Sep 18, 2021

  • drat-trim Public

    Forked from marijnheule/drat-trim

    The DRAT-trim proof checker

    C MIT License Updated Aug 15, 2021

  • stp Public

    Forked from stp/stp

    Simple Theorem Prover, an efficient SMT solver for bitvectors

    C++ Other Updated Jul 16, 2021

  • thp Public

    This repository contains glibc patches and tooling to make using transparent huge pages simpler

    Dockerfile Updated Jun 13, 2021

  • stp-docs Public

    Forked from stp/docs

    Documents

    TeX Updated Jun 13, 2021

  • shift-eda Public

    Toolkit with tools for solving EDA tasks

    Updated Jun 10, 2021

  • minisat Public

    Collect variants of the Minisat SAT solver (minisat.se), and modifications that have been proposed in SAT competitions

    C++ 1 2 Other Updated Jun 3, 2021

  • riss1 Public

    2011 version of the SAT solver riss with it's own solving engine, and parallel UP implementation

    C++ GNU Lesser General Public License v2.1 Updated Apr 25, 2021

  • hordesat-aws Public

    Forked from aws-samples/aws-batch-hordesat-sample
    Shell MIT No Attribution Updated Apr 17, 2021

  • cnfgen-rev-quick-sort Public

    CNF formula generator to hit the quadratic corner case of MiniSat's sort algorithm

    C++ MIT License Updated Feb 3, 2021

  • cupacd Public

    Fork of MiniSat, attempt to add reasoning on PB constraints in the solver natively

    C++ Other Updated Jan 2, 2021

  • sharpCDCL Public

    C++ Other Updated Oct 24, 2020

  • abc Public

    Forked from berkeley-abc/abc

    ABC: System for Sequential Logic Synthesis and Formal Verification

    C Other Updated Aug 16, 2020