Diffusion invenio-infoscience (maint-1.2) History

R3600/modules/miscutil/lib/logicutils.py
maint-1.2595c3a043b1addf71f2355f…

Nov 1 2010

global: CDS Invenio becomes Invenio
d30e56fa001a
·Tibor Simko on Nov 1 2010, 22:08.

Sep 14 2010

logicutils: remove SAT solving, add copyright info
4722b8a245de
·Joe Blaylock / Tibor Simko on Sep 14 2010, 11:49.
logicutils: add library authored by Peter Norvig
1aa63b20d7d8
·Peter Norvig / Tibor Simko on Sep 14 2010, 11:41.