The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Download Latest Version Common Lisp Reasoner, Version 3.6.zip (171.8 kB)
Email in envelope

Get an email when there's a new version of Common Lisp Reasoner

Home / reasoner-3.5
Name Modified Size InfoDownloads / Week
Parent folder
Common Lisp Reasoner, Version 3.5.tar.gz 2016-05-13 148.4 kB
Common Lisp Reasoner, Version 3.5.zip 2016-05-13 171.2 kB
README.md 2016-05-13 544 Bytes
Totals: 3 Items   320.2 kB 0

Changes Since Last Release

During deserialization, if elements contain many subelements, the variable *count-subelements* may be bound to nil, or the method count-subelements-p specialized, to eliminate the considerable overhead of maintaining a count of these values.

Bug fixes

XML Schema deserialization failed in clisp due to defaulting of :direct-superclasses argument of ensure-class if class exists and in SBCL if it doesn't.

Forward-referenced base complexTypes were assigned the wrong place in the class hierarchy.

Source: README.md, updated 2016-05-13