finnhaedicke/jenkins-job-builder-workflow
Public repository.
Developer Profile
finnhaedicke
Discovered public repositories for finnhaedicke in the GitHub catalog.
finnhaedicke/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
finnhaedicke/cryptominisat
An advanced SAT Solver
finnhaedicke/slides-CMake-von-Hello-World
Public repository.
finnhaedicke/make-latex
Makefile snippet to compile LaTeX to PDF with dependencies
finnhaedicke/dependencies
Public repository.
finnhaedicke/metaSMT
Public repository.
finnhaedicke/crave
Constrained random stimuli generation for C++ and SystemC
finnhaedicke/hudson-hacks
Various hacks to make your favorite metrics usable in Hudson/Jenkins