Differences

This shows you the differences between two versions of the page.

--- pub:software:heart [2014/03/21 14:44]
sbk
+++ pub:software:heart [2018/10/14 20:51] (current)
gjn
@@ Line 15: / Line 15: @@
 Concept, design, implementation, supervision: [[pub:about_us:gjn|Grzegorz J. Nalepa]]
 Extended implementation:  [[pub:about_us:sbk|Szymon Bobek]] and Michał Gawędzki
-===== Releases =====
-===== Specification =====
-==== ALSV(FD)====
-=== Values ===
-=== Operators ===
-==== Inference strategies ====
-==== Protocol ====
 ===== Comments =====

GEIST Research Group