Homec4science
Diffusion invenio-infoscience (maint-1.2) Graph

R3600/modules/miscutil/lib/logicutils.py
maint-1.2

History Graph

CommitAuthorDetailsCommitted
d30e56fa001aTibor Simko
global: CDS Invenio becomes Invenio 
Nov 1 2010
4722b8a245deJoe Blaylock/Tibor Simko
logicutils: remove SAT solving, add copyright info 
Sep 14 2010
1aa63b20d7d8Peter Norvig/Tibor Simko
logicutils: add library authored by Peter Norvig 
Sep 14 2010
c4science · Help