XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

Commit [r9543] Maximize Restore History

Changed license of PITA from GLP to Apache 2.0.

Authored by: tswift 2019-02-18

Browse code at this revision

Parent: [r9542]

Child: [r9544]

changed	/trunk/XSB/packages/README
changed	/trunk/XSB/packages/pita.P
added	/trunk/XSB/packages/pita/LICENSE.TXT
changed	/trunk/XSB/packages/pita/testpita.P
changed	/trunk/XSB/packages/pita/testpitacount.P
changed	/trunk/XSB/packages/pita/testpitaindexc.P
changed	/trunk/XSB/packages/pita/testpitaposs.P
changed	/trunk/XSB/packages/pita/testpitavitind.P
changed	/trunk/XSB/packages/pitacount.P
changed	/trunk/XSB/packages/pitaindexc.P
changed	/trunk/XSB/packages/pitaposs.P
changed	/trunk/XSB/packages/pitavitind.P

/trunk/XSB/packages/README Diff Switch to side-by-side view

/trunk/XSB/packages/pita.P Diff Switch to side-by-side view

/trunk/XSB/packages/pita/LICENSE.TXT Diff Switch to side-by-side view

/trunk/XSB/packages/pita/testpita.P Diff Switch to side-by-side view

/trunk/XSB/packages/pita/testpitacount.P Diff Switch to side-by-side view

/trunk/XSB/packages/pita/testpitaindexc.P Diff Switch to side-by-side view

/trunk/XSB/packages/pita/testpitaposs.P Diff Switch to side-by-side view

/trunk/XSB/packages/pita/testpitavitind.P Diff Switch to side-by-side view

/trunk/XSB/packages/pitacount.P Diff Switch to side-by-side view

/trunk/XSB/packages/pitaindexc.P Diff Switch to side-by-side view

/trunk/XSB/packages/pitaposs.P Diff Switch to side-by-side view

/trunk/XSB/packages/pitavitind.P Diff Switch to side-by-side view