User Activity

  • Posted a comment on ticket #1 on StudyTrainer

    Have you tried to re-build the project from source? I think this might solve the problem. I put e frehly compiled jar file on the files section. BTW: The translation into English menus is future work. ;-)

View All

Personal Data

Username:
uloup
Joined:
2010-11-22 23:35:17

Projects

This is a list of open source software projects that Ulrich Loup is associated with:

  • Project Logo GiNaCRA   Last Updated:
  • SMT-RAT Satisfiability-Modulo-Theories Real Algebra Toolkit Last Updated:
  • StudyTrainer   Last Updated:
  • VisualRiSC Toolbox visualizing computations of Realizable Sign Conditions. Last Updated:

Personal Tools