Pinned Repositories
crave
Constrained random stimuli generation for C++ and SystemC
cryptominisat
An advanced SAT Solver
CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
dependencies
ding-dong
Create AGI server on #Node.js for #Asterisk quickly!
hudson-hacks
Various hacks to make your favorite metrics usable in Hudson/Jenkins
jenkins-job-builder-workflow
make-latex
Makefile snippet to compile LaTeX to PDF with dependencies
metaSMT
slides-CMake-von-Hello-World
finnhaedicke's Repositories
finnhaedicke/jenkins-job-builder-workflow
finnhaedicke/crave
Constrained random stimuli generation for C++ and SystemC
finnhaedicke/dependencies
finnhaedicke/hudson-hacks
Various hacks to make your favorite metrics usable in Hudson/Jenkins
finnhaedicke/metaSMT
finnhaedicke/cryptominisat
An advanced SAT Solver
finnhaedicke/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
finnhaedicke/ding-dong
Create AGI server on #Node.js for #Asterisk quickly!
finnhaedicke/make-latex
Makefile snippet to compile LaTeX to PDF with dependencies
finnhaedicke/slides-CMake-von-Hello-World