fgeorgatos/minisat
A minimalistic and high-performance SAT solver
This is the multithreaded script I wrote as part of a blog post for http://www.reliam.com/ , my goal is to rewrite the script as I get feedback and this repo will show the changes over time. It serves as an education exercise for myself and anyone who follows it
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A minimalistic and high-performance SAT solver
Short read de novo assembler using de Bruijn graphs
EasyBuild documentation wiki
Public repository.