File: AUTHORS

package info (click to toggle)
cvise 2.12.0-2
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 3,772 kB
  • sloc: cpp: 26,284; python: 4,807; ansic: 1,215; lex: 441; makefile: 42
file content (13 lines) | stat: -rw-r--r-- 350 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
-*- mode: Text -*-

C-Reduce was written by Yang Chen, Eric Eide, and John Regehr at the
University of Utah.

  Yang Chen <chenyang@cs.utah.edu>
  Eric Eide <eeide@cs.utah.edu>
  John Regehr <regehr@cs.utah.edu>

C-Vise was written by Moritz Pflanzer and Martin Liška

  Moritz Pflanzer <moritz@pflanzer.eu>
  Martin Liška <marxin.liska@gmail.com>