cebe / linehighlight
Code line highlighting for LaTeX with lstlisting (for beamer)
☆14Updated 10 years ago
Alternatives and similar repositories for linehighlight
Users that are interested in linehighlight are comparing it to the libraries listed below
Sorting:
- rules for writing and typesetting☆24Updated 3 years ago
- PC-miner tool for program chairs☆27Updated last month
- ☆16Updated 10 months ago
- The LTSmin model checking toolset☆60Updated 6 months ago
- ☆28Updated last month
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆29Updated 7 months ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- NeonGoby alias analysis checker☆15Updated 11 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆28Updated 4 years ago
- A research platform and active library for generalised SAT solving☆33Updated this week
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 6 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…☆9Updated 9 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated last month
- The probSAT SAT Solver☆22Updated 2 years ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆21Updated 3 years ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆71Updated 3 years ago
- Main repository for Harvard CS260r 2017.☆10Updated 8 years ago
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 11 years ago
- Approximate Model Counter☆78Updated this week
- Generates loop invariants for program verification☆62Updated 4 years ago
- Semantic program repair system for C programs☆100Updated 2 years ago
- The #SAT solver sharpSAT☆58Updated 2 years ago
- A fast and certifying solver for quantified Boolean formulas.☆27Updated 2 weeks ago
- Convert graphs generated by Graphviz to LaTeX friendly formats☆155Updated 4 months ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆71Updated last month
- Implementation of multi-core (binary) decision diagrams☆73Updated 11 months ago
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆28Updated 2 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆43Updated last year
- ☆48Updated 10 months ago