Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/guicho271828/simpath
https://github.com/guicho271828/simpath
Last synced: 29 days ago
JSON representation
- Host: GitHub
- URL: https://github.com/guicho271828/simpath
- Owner: guicho271828
- Created: 2017-03-19T08:46:41.000Z (almost 8 years ago)
- Default Branch: master
- Last Pushed: 2018-03-05T03:15:16.000Z (almost 7 years ago)
- Last Synced: 2024-10-15T14:10:54.416Z (3 months ago)
- Language: Common Lisp
- Size: 16.6 KB
- Stars: 2
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# simpath - implementation of simpath, a path enumeration algorithm
D. E. Knuth, The Art of Computer Programming:
Bitwise Tricks & Techniques; Binary Decision Dia-
grams, Vol. 4, fascicle 1, Addison-Wesley, 2009.
R. Yoshinaka, T. Saitoh, J. Kawahara, K. Tsuruma,
H. Iwashita, and S. Minato, Finding all solutions and
instances of numberlink and slitherlink by ZDDs,
BDD/ZDDを用いたグラフ列挙索引化技法
湊 真一
ZDD によるパスの列挙
川原 純, 斎藤 寿樹, 鈴木 拡, 湊 真一, 吉仲 亮
数理解析研究所講究録
第 1744 巻 2011 年 35-41
## Usage
## Dependencies
This library is at least tested on implementation listed below:
+ SBCL 1.3.14 on X86-64 Linux 4.4.0-66-generic (author's environment)
Also, it depends on the following libraries:
+ trivia by *Masataro Asai* :
NON-optimized pattern matcher compatible with OPTIMA, with extensible optimizer interface and clean codebase
+ cl-cudd by *Christian von Essen * :
A two-layered binding to the CUDD binary decision diagram library.
See README.md for more details.
+ alexandria by *Nikodemus Siivola , and others.* :
Alexandria is a collection of portable public domain utilities.
+ iterate by ** :
Jonathan Amsterdam's iterator/gatherer/accumulator facility
## Installation
## Author
* Masataro Asai ([email protected])
## Copyright
Copyright (c) 2017 Masataro Asai ([email protected])
# License
Licensed under the LLGPL License.