cebe / linehighlightLinks
Code line highlighting for LaTeX with lstlisting (for beamer)
☆15Updated 10 years ago
Alternatives and similar repositories for linehighlight
Users that are interested in linehighlight are comparing it to the libraries listed below
Sorting:
- The LTSmin model checking toolset☆59Updated last year
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆53Updated 5 years ago
- Static Analyzer and Verifier☆48Updated last year
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆56Updated this week
- 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
- ☆30Updated last month
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆64Updated this week
- Semantic program repair system for C programs☆101Updated 3 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 3 months ago
- Lingeling SAT Solver☆105Updated last year
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 3 weeks ago
- SMTInterpol interpolating SMT solver☆68Updated this week
- Generates loop invariants for program verification☆63Updated 4 years ago
- Approximate Model Counter☆80Updated 3 weeks ago
- Cube-and-Conquer SAT solver☆37Updated 3 months ago
- RV-Monitor core system code☆16Updated 4 years ago
- Language definitions and styles for listings in LaTeX.☆67Updated 2 months ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- Release snapshots of the Frama-C platform for source code analysis☆177Updated 5 years ago
- The Pseudo-Boolean Solver MiniSat+☆29Updated 13 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Java Concolic Unit Testing Engine☆93Updated 11 years 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
- SAT Solver SATCH☆119Updated 3 years ago
- A minimalistic and high-performance SAT solver☆26Updated last year
- JKind - An infinite-state model checker for safety properties in Lustre☆55Updated 4 months ago
- JavaSMT - Unified Java API for SMT solvers.☆230Updated this week
- CREST is a concolic test generation tool for C.☆162Updated 5 years ago
- Synthesis Format Conversion Tool☆26Updated 3 weeks ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆76Updated 6 months ago