Copyright (C) 2018
AIST Program-IP No. H30PRO-2219
National Institute of Advanced Industrial Science and Technology (AIST),
East Japan Railway Company (JR-East)
A tool for automatically generating train timetables from mesoscopic railway models with the help of SMT-Solver
See the manual contained in the folder "manual".
- rwsolver-manual-jp.pdf: Japanese version
- rwsolver-manual-eng.pdf: English version
GPLv3 or later
(AIST program administration number: H30PRO-2219)
-
Yoshinao Isobe, Hisabumi Hatsugai, Akira Tanaka, Yutaka Oiwa, Takanori Ambe, Akimasa Okada, Satoru Kitamura, Yamato Fukuta, and Takashi Kunifuji, Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol.E102-A, No.2, pp.325-335, 2019. PDF (5.5MB)