log

age author description
Sat, 28 Dec 2019 23:20:05 +0530 Sushil khanchi evolve: remove dead code
Sat, 07 Dec 2019 23:13:40 +0530 Sushil khanchi evolve: use utility._singlesuccessor() in _solveunstable()
Wed, 18 Dec 2019 16:21:37 +0100 Pierre-Yves David evolve: preliminary indentation