package info (click to toggle)
rumur 2025.08.31-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 3,644 kB
  • sloc: cpp: 18,711; ansic: 3,825; python: 1,578; objc: 1,542; yacc: 568; sh: 331; lex: 241; lisp: 15; makefile: 5

Folder: misc

d .. (parent)
- - rw-r--r-- 395 _murphi2c
- - rw-r--r-- 907 _murphi2murphi
- - rw-r--r-- 299 _murphi2smv
- - rw-r--r-- 247 _murphi2xml
- - rw-r--r-- 2,309 _rumur
- - rwxr-xr-x 601 install-macports.sh
- - rw-r--r-- 1,413 murphi-mode.el
- - rw-r--r-- 1,322 murphi.vim
- - rw-r--r-- 27,124 murphi2xml.rng
- - rwxr-xr-x 2,154 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,440 xxd.py
- - rw-r--r-- 4,664 zebra-puzzle.m