Search Results for "dcm4chee-arc"

...Gawthrop(1), Joseph Cursons(1,2), and Edmund J. Crampin(1-4). (1) Systems Biology Laboratory, Melbourne School of Engineering, University of Melbourne, Victoria 3010, Australia. (2) ARC Centre of Excellence in Convergent Bio-Nano Science, Melbourne School of Engineering, University of Melbourne, Victoria 3010, Australia. (3) Department of Mathematics and Statistics, University of Melbourne, Victoria 3010, Australia. (4) School of Medicine, University of Melbourne, Victoria 3010, Australia Draft paper available at http://arxiv.org/abs/1503.01814

QPNet (Quick Petri Net) is a fast Petri Nets' emulator, created by students of Moscow State Technical University of Radio Engineering, Electronics and Automation. It brings benefits for the educational process, while being under further development and extension. QPNet это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать.

Csolve is a constraint solver compiler. It compiles a set of constraints into an arc-consistency algorithm. Generated output is in the C language and can be linked with existing code. Csolve also contains libraries for standard instantiation method