User Activity

  • Committed [r4080]

    Removed debugging output from vs_applyfn.

  • Committed [r4064]

    Added computation of models in form of (possibly negated) equations in

  • Committed [r4063]

    Renamed wrapper procedure vsnd_evalqff to qff_evalatp.

  • Committed [r4062]

    Removed unused variables in ofsf_qemkstdans.

  • Committed [r4061]

    Written AEX and ANU reordering procedures.

  • Committed [r4054]

    Fixed a kernel ordering-related bug in ofsfic_process!-coe.

  • Committed [r4037]

    work on first working prototype for SMT QE + a few fixes

  • Committed [r4034]

    the first SMT QE prototype

View All

Personal Data

Username:
mkosta
Joined:
2012-10-10 15:02:14
Location:
Bratislava / Slovakia / CEST
Gender:
Male

Projects

  • Project Logo REDUCE A Portable General-Purpose Computer Algebra System Last Updated:

Skills

  • No skills entered.

Personal Tools

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks