![]() Software Packages in "buster", Subsection math 4ti2 (1.6.9+ds-1) mathematical tool suite for problems on linear spaces - tools acl2 (8.0dfsg-1+b1, 8.0dfsg-1 ) Computational Logic for Applicative Common Lisp: main binary acl2-books (8.0dfsg-1+b1, 8.0dfsg-1 ) Computational Logic for Applicative Common Lisp: compiled libraries acl2-books-certs (8.0dfsg-1) Computational Logic for Applicative Common Lisp: library certificates acl2-books-source (8.0dfsg-1) Computational Logic for Applicative Common Lisp: library sources acl2-emacs (8.0dfsg-1) Computational Logic for Applicative Common Lisp: emacs interface acl2-infix (8.0dfsg-1+b1, 8.0dfsg-1 ) Computational Logic for Applicative Common Lisp: infix interface acl2-infix-source (8.0dfsg-1) Computational Logic for Applicative Common Lisp: infix source acl2-source (8.0dfsg-1) Computational Logic for Applicative Common Lisp: source files admesh (0.98.3-3) Tool for processing triangulated solid meshes.
0 Comments
Leave a Reply. |