cebe / linehighlightLinks
Code line highlighting for LaTeX with lstlisting (for beamer)
☆15Updated 11 years ago
Alternatives and similar repositories for linehighlight
Users that are interested in linehighlight are comparing it to the libraries listed below
Sorting:
- A research platform and active library for generalised SAT solving☆33Updated 7 months ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- The LTSmin model checking toolset☆61Updated last year
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 12 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated 2 years ago
- ☆51Updated 6 months ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆72Updated 4 years ago
- Generates loop invariants for program verification☆63Updated 5 years ago
- ☆16Updated last year
- program synthesis is possible☆40Updated 6 years ago
- NeonGoby alias analysis checker☆14Updated 12 years ago
- The DaCapo benchmark suite☆192Updated 5 months ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Updated 10 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆22Updated last month
- HotCRP conference review software☆389Updated this week
- Approximate Model Counter☆82Updated 2 weeks ago
- C Quality Metrics☆68Updated 3 years ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆20Updated 4 years ago
- PC-miner tool for program chairs☆29Updated last month
- rules for writing and typesetting☆25Updated 4 years ago
- ☆40Updated 6 years ago
- Lingeling SAT Solver☆106Updated last year
- Synthesis Format Conversion Tool☆26Updated 2 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆55Updated 5 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆44Updated 4 years ago
- A minimalistic and high-performance SAT solver☆26Updated last year
- Cube-and-Conquer SAT solver☆44Updated 6 months ago
- 👨💻 My PhD.☆189Updated 3 years ago
- A template for writing CS papers with latex -- includes CI, todonotes, ...☆43Updated 4 months ago
- The Pseudo-Boolean Solver MiniSat+☆29Updated 13 years ago