Software Packages in "bookworm", Subsection math 4ti2 (1.6.9+ds-8) mathematical tool suite for problems on linear spaces - tools acl2 (8.5dfsg-5) Computational Logic for Applicative Common Lisp: main binary acl2-books (8.5dfsg-5) Computational Logic for Applicative Common Lisp: compiled libraries acl2-books-certs (8.5dfsg-5) Computational Logic for Applicative Common Lisp: library certificates acl2-books-source (8.5dfsg-5) Computational Logic for Applicative Common Lisp: library sources acl2-infix (8.5dfsg-5) Computational Logic for Applicative Common Lisp: infix interface acl2-infix-source (8.5dfsg-5) Computational Logic for Applicative Common Lisp: infix source acl2-source (8.5dfsg-5) Computational Logic for Applicative Common Lisp: source files admesh (0.98.4-2) Tool for processing triangulated solid meshes.
0 Comments
Leave a Reply. |