Copyright (C) 2018
AIST Program-IP No. H30PRO-2219
National Institute of Advanced Industrial Science and Technology (AIST),
East Japan Railway Company (JR-East)

---

RW-Solver (Railway-Solver)

A tool for automatically generating train timetables from mesoscopic railway models with the help of SMT-Solver

Install

See the manual contained in the folder "manual".

• rwsolver-manual-jp.pdf: Japanese version
• rwsolver-manual-eng.pdf: English version

License

GPLv3 or later
(AIST program administration number: H30PRO-2219)

Reference

• 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)

• Website for RW-Solver