Create your own GitHub profile
CNF+ generators for multiple problems with cardinality constraints, such as: n-queens, tomography, word design for dna computing on surfaces as well as random cardinality constraints
Forked from joewing/ScalaPipe
A DSL in Scala for generating streaming applications
Forked from wustl-cse/wustl-latex-dissertation-template
LaTeX disseration and thesis template for The Graduate School at Washington University in St. Louis.
Forked from jshun/ligra
Ligra: A Lightweight Graph Processing Framework for Shared Memory