logicutils: remove SAT solving, add copyright info
4722b8a245de
Actions

Authored by Joe Blaylock <jrbl@slac.stanford.edu> on Jul 15 2010, 14:53.

Description

logicutils: remove SAT solving, add copyright info

Modified Peter Norvig's logic library to remove unnecessary functionality (SAT solver and test harness, pedagogical examples) and add much-needed copyright information and attribution.

Also added link to notes from the Software Freedom Law Center on mixing differently-licensed code from different projects.

Committed

Tibor Simko <tibor.simko@cern.ch>

Sep 14 2010, 11:49

Parents

Branches

Unknown

Tags

Unknown

Tibor Simko <tibor.simko@cern.ch> committed R3600:4722b8a245de: logicutils: remove SAT solving, add copyright info (authored by Joe Blaylock <jrbl@slac.stanford.edu>).Sep 14 2010, 11:49

				Path
	M			modules/miscutil/lib/Makefile.am
	M			modules/miscutil/lib/logicutils.py