vsklad

vsklad's Stars

• PetoiCamp/OpenCat

  An open source quadruped robot pet framework for developing Boston Dynamics-style four-legged robots that are perfect for STEM, coding & robotics education, IoT robotics applications, AI-enhanced robotics application services, research, and DIY robotics kit development.

  Language:C++3.9k8839472

• berkeley-abc/abc

  ABC: System for Sequential Logic Synthesis and Formal Verification

  Language:C96538203612

• arminbiere/kissat

  Language:C519275390

• audemard/glucose

  The glucose SAT solver

  Language:C++963019

• sat-heritage/docker-images

  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers

  Language:Python384313

• vale1410/bule

  The SAT and QBF Programming Language Bule

  Language:OCaml226593

• kciomek/hasseDiagram

  R package for drawing Hasse diagrams - visualization of transitive reduction of a finite partially ordered set.

  Language:R13202

• saeednj/CDCL-Crypto

  CDCL(Crypto) SAT solver for cryptanalysis problems

  Language:C++9311

• oleh-derevenko/mutexgear

  MutexGear Library Preview

  Language:C7111

• arminbiere/dualiza

  Language:C6201

• StephanGocht/hash_games

  Problem generator for CNF and PBO encodings of hash functions.

  Language:Python4300