jacky860226's repositories
ICCAD-2021-B
ICCAD-2021-B
JinkelaSat
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
Flute3-Cpp-Wrapper
C++ Wrapper of flute-3
steiner-tree-2-approximation
steiner tree 2-approximation O(E + V log V)
system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
amber-network-entities
Entities for the Amber Network
boost-1.64.0
boost-1.64.0
CDCL
A CDCL SAT solver
flute3
Flute3 is an open-source rectilinear Steiner minimum tree heuristic from Iowa State, with UFRGS improvements
ICCAD2019_B_evaluator
The evaluator of ICCAD2019 problem B
jtool
Level editing tool for IWBTG fangames.
lity
A rule-based contract-oriented high-level language.
mainnet-entities
Mainnet Entity Packages
oasis-core
Performant and Confidentiality-Preserving Smart Contracts + Blockchains
openethereum
The fast, light, and robust client for Ethereum-like networks.
SAT-Solver-CDCL
A simple SAT Solver based on the CDCL algorithm
SAT-Solver-DPLL
A simple SAT solver that implements the DPLL algorithm with unit resolution
subprocess
A C++ high level library for running shell processes
testlib
Automatically exported from code.google.com/p/testlib
togasat
A Header-Only CDCL SAT Solver for Programming Contest