chuffed: init at 0.13.2

2025-11-21 13:28:40 +01:00
parent 8f05b9313a
commit 2a4cf2bdd1
1 changed files with 28 additions and 0 deletions
@@ -0,0 +1,28 @@
+{
+  stdenv,
+  cmake,
+  fetchFromGitHub,
+  lib,
+}:
+stdenv.mkDerivation (finalAttrs: {
+  pname = "chuffed";
+  version = "0.13.2";
+
+  src = fetchFromGitHub {
+    owner = "chuffed";
+    repo = "chuffed";
+    tag = finalAttrs.version;
+    hash = "sha256-D4HEcCDcJi05AL9suc7Twtf/wjpwBkLEeumGY3nNi5g=";
+  };
+
+  nativeBuildInputs = [ cmake ];
+
+  meta = {
+    homepage = "https://github.com/chuffed/chuffed";
+    description = "The Chuffed CP solver";
+    longDescription = "Chuffed is a state of the art lazy clause solver designed from the ground up with lazy clause generation in mind.";
+    license = lib.licenses.mit;
+    maintainers = with lib.maintainers; [ jaanonim ];
+    platforms = lib.platforms.all;
+  };
+})