Authors:
- Reynald Affeldt, AIST
- Jacques Garrigue, Nagoya University
- Xuanrui Qi, Tufts University
- Kazunari Tanaka, Nagoya University
Acknowledgments:
- work based on previous work with Akira Tanaka (AIST) who also contributed the bfs function and other improvements of the base library