User Activity

  • Committed [r4155]

    Solved two problems related to ofsfsmtqe. Now we can:

  • 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

View All

Personal Data

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

Projects

This is a list of open source software projects that Marek Košta is associated with:

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

Personal Tools