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
- rules for writing and typesetting☆24Updated 3 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 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
- 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
- ☆27Updated 7 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
- ☆52Updated last month
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆35Updated 2 months ago
- Generates loop invariants for program verification☆59Updated 3 years ago
- PC-miner tool for program chairs☆24Updated last month
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆48Updated 4 years ago
- The Termination Problem Database☆28Updated this week
- Main repository for Harvard CS260r 2017.☆9Updated 7 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆41Updated last year
- ☆43Updated 6 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 3 months ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)☆37Updated last month
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆68Updated 2 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆65Updated last year
- ☆51Updated 8 years ago
- The LTSmin model checking toolset☆56Updated 2 months ago
- An SMT Solver for string constraints☆37Updated this week
- The opensmt solver☆78Updated last week
- Simple recursive and iterative SAT solver written in Python.☆123Updated 5 years ago
- Verimag Polyhedra Library☆17Updated 4 years ago
- The probSAT SAT Solver☆22Updated 2 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year