package info (click to toggle)
rumur 2020.12.20-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 3,292 kB
  • sloc: cpp: 17,090; ansic: 2,537; objc: 1,542; python: 1,120; sh: 538; yacc: 536; lex: 229; lisp: 15; makefile: 5

Folder: misc

d .. (parent)
- - rw-r--r-- 395 _murphi2c
- - rw-r--r-- 907 _murphi2murphi
- - rw-r--r-- 247 _murphi2xml
- - rw-r--r-- 2,309 _rumur
- - rwxr-xr-x 632 afl-wrapper.sh
- - rwxr-xr-x 543 install-afl.sh
- - rwxr-xr-x 574 install-macports.sh
- - rw-r--r-- 1,413 murphi-mode.el
- - rw-r--r-- 1,312 murphi.vim
- - rw-r--r-- 27,124 murphi2xml.rng
- - rwxr-xr-x 2,094 package-for-debian.sh
- - rw-r--r-- 26,032 pending-queue-4k.m
- - rw-r--r-- 18,448 pending-queue.m
- - rw-r--r-- 16,747 read-raw.smt2
- - rw-r--r-- 3,105 sudoku.m
- - rw-r--r-- 3,222 verifier.rng
- - rw-r--r-- 31,065 write-raw.smt2
- - rwxr-xr-x 1,048 xxd.py
- - rw-r--r-- 4,664 zebra-puzzle.m