Linking pages
Linked pages
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- GitHub - google/souper: A superoptimizer for LLVM IR https://github.com/google/souper 89 comments
- De Morgan's laws - Wikipedia https://en.wikipedia.org/wiki/De_Morgan%27s_laws 21 comments
- [1711.04422] Souper: A Synthesizing Superoptimizer https://arxiv.org/abs/1711.04422 16 comments
- Peephole optimization - Wikipedia https://en.wikipedia.org/wiki/Peephole_optimization 11 comments
- http://theory.stanford.edu/~aiken/publications/papers/asplos06.pdf 8 comments
- https://www.microsoft.com/en-us/research/wp-content/uploads/2017/10/program_synthesis_now.pdf 1 comment
- SyGuS http://sygus.org 1 comment
- SMT-LIB The Satisfiability Modulo Theories Library http://smtlib.cs.uiowa.edu/index.shtml 0 comments
Related searches:
Search whole site: site:fitzgeraldnick.com
Search title: Synthesizing Loop-Free Programs with Rust and Z3
See how to search.