comparison src/sat.sh @ 1660:204c2a7fe68b

core (tools): new tools.common module with tools used by backend and frontends. dict2iter and iter2dict method to serialise iterable in a dict (for bridge)
author Goffi <goffi@goffi.org>
date Tue, 24 Nov 2015 16:21:18 +0100
parents 61c03265e133
children 7a07f232e7cb
comparison
equal deleted inserted replaced
1659:ab88e85fc29f 1660:204c2a7fe68b