malb/pyme
Mirror of https://bitbucket.org/malb/pyme
This repository collects LaTeX sources for some papers I have worked on. The source code is provided such that other researchers can spend more time thinking/writing up their ideas instead of typesetting LaTeX formulas. Feel free to pick/copy/re-use/modify and please feel motivated to release the sources of your publications as well. Acknowledgements are always nice, though.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Mirror of https://bitbucket.org/malb/pyme
An advanced SAT Solver
MIRROR: Discrete Gaussians over the Integers
Public repository.