Song's repositories
Algorithms
A collection of algorithms and data structures
Language:JavaMIT000
LeaverSong
Config files for my GitHub profile.
maxflow-cuda
Implementation of the maximum network flow problem in CUDA.
Language:CudaGPL-3.0000
SAT-Solver-CDCL
A simple SAT solver based on the CDCL algorithm
Language:C++MIT000
SimplePDR
A reference implementation of PDR for boolean transition systems
Language:CGPL-3.0000