Downloads

PAKCS

Portland Aachen Kiel Curry System
Docker Image
(Installation Instructions)
Version	Assets
Latest	Source Code (requires Haskell Stack) Linux / x86_64 (64-bit) Manual
v3.8.0 (10/10/24)	Source Code (requires Haskell Stack) Linux / x86_64 (64-bit) Manual
v3.7.2 (20/09/24)	Source Code (requires Haskell Stack) Linux / x86_64 (64-bit) Manual
v3.7.0 (04/04/24)	Source Code (requires Haskell Stack) Linux / x86_64 (64-bit) Manual
v3.3.0 (14/02/21, with class 'Data')	Source Code (requires Haskell Stack) Linux / x86_64 (64-bit) Manual

KiCS2

Kiel Curry System Version 2
Docker Image
(Installation Instructions)
Version	Assets
Latest	Source Code (requires Haskell Stack) Manual
v3.3.0 (11/10/24)	Source Code (requires Haskell Stack) Manual
v3.2.0 (08/07/24)	Source Code (requires Haskell Stack) Manual
v3.1.0 (22/05/24)	Source Code (requires Haskell Stack) Manual
v3.0.0 (31/03/23)	Source Code (requires Haskell Stack) Manual
v2.3.0 (12/10/20)	Source Code (requires Haskell Stack) Manual
v2.2.0 (30/10/19)	Source Code (requires Haskell Stack) Manual

PAKCS