Submit a comment to an "Available C++ Libraries FAQ" entry
Commercial libraries (A-N)
Libsetl - programming symbolically in C++
Libsetl is a C++ library that is designed for supporting symbolic computing in C++. Based on a very high-level symbolic programming language (SETL), libsetl offers a number of powerful features that are available only for advanced symbolic languages. These features include latent types, high-level constructs (sets, maps and tuples), high-level operations through polymorphism, efficient iterators, runtime type checking, automatic memory management, intuitive syntax, and more. C++ programs written using libsetl do not have common C++ errors like memory leaks or memory corruptions. Runtime errors are detected and handled gracefully by using exceptions.
Libsetl and its related files are proprietary materials. But free copies of precompiled packages are available for evaluations or education/research purposes.
Licensing : Demo
Do not expect an immediate response - the contents of this form
will be added to a queue, which I process manually
about once a week. If you don't fill in
your email address correctly, you will not (obviously) get any reply at
all. Other invalid information may result in a mailed request for
Enter your comment in the areas provided below. Be sure to
include your name and email address.
Please don't bother trying to post spam or links to dodgy web sites - everything
you post here is reviewed by a human being before being released for public