search for: ginac

...################################################## 81/81 extras : ################################################## 32/32 Resolving Dependencies --> Populating transaction set with selected packages. Please wait. ---> Package libcddb.i386 0:1.2.0-3.el4.kb set to be updated ---> Package ginac.i386 0:1.3.2-1.el4.kb set to be updated --> Running transaction check --> Processing Dependency: libcdio.so.5 for package: libcddb --> Processing Dependency: libginac-1.3.so.0 for package: octave-forge --> Processing Dependency: libcdio.so.5(CDIO_5) for package: libcddb --> Finished...

I would suggest you take a look at KLEE, PAGAI and GiNaC. The first two are LLVM-based tools that do symbolic manipulation (of sorts) and the last is a C++ library for doing symbolic computation which is quite easy to use with an RTTI build of LLVM. If you can give us an example of what symbolic equation you might be trying to "solve", I'm...

Hello, I want to do points-to anlysis in llvm IR. I want it to be path sensitive, which means that when I print out the result, I need append the condition for the "May" Points-to. I plan to using symbolic execution to achieve this goal. Are there any tools in llvm, or stand-alone tools to solve the symbolic equation. Thank you! ----Peter Chang -------------- next part

...ESS modes for Emacs as well as the Ggobi visualisation program o Octave with add-on packages octave-forge, octave-sp, octave-epstk, matwrap and Inline::Octave o Maxima, including the x11 front-end and emacs support o the Gnu Scientific Library (GSL) incl example binaries o the Pari/GP, Gap, Ginac and Yacas computer algebra systems o the Quantlib quantitative finance library incl. the Python interface o the OpenDX and Mayavi data visualization systems o TeXmacs for wysiwyg (La)TeX editing o and various other programs such apcalc, aribas, autoclass, euler, evolver, freefem, gambit, geg...