From 24814a74de74a9a3281648bf093be81e81271a4c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20L=C3=A4ndle?=
 <969523+alaendle@users.noreply.github.com>
Date: Thu, 15 May 2025 09:48:36 +0200
Subject: [PATCH] Added `ansigraph` & `minisat`.

---
 build-constraints.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index bc1c1004..6538f0c1 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -5328,6 +5328,7 @@ packages:
         - aeson-optics
         - alsa-mixer
         - animalcase
+        - ansigraph
         - appar
         - arrows
         - asn1-encoding
@@ -5578,6 +5579,7 @@ packages:
         - mersenne-random-pure64
         - mfsolve
         - microstache
+        - minisat
         - minisat-solver
         - missing-foreign
         - mmap