← Back to Discover
ciaranm

ciaranm/glasgow-constraint-solver

C++Apache-2.0active
57Health

A constraint programming solver with support for proof logging

Stars20
Forks6
Open Issues102
Contributors6
Last Push1d ago

Health Breakdown

Activity
25
Community
13
Maintenance
4
Popularity
15
View on GitHub ↗Issues (102) ↗Pull Requests ↗Wiki ↗

Should you contribute to ciaranm/glasgow-constraint-solver?

ciaranm/glasgow-constraint-solver has a FoundDev health score of 57/100, which means activity is steady but not booming. Worth contributing to if the project is in your wheelhouse, but expect slower review cycles than a top-tier repo.

Last push was 1 days ago — that signals an actively maintained project. New issues are likely to get a maintainer response within days. The project is written primarily in C++, so prior C++ experience will shorten ramp-up.

Licensed under Apache-2.0, a standard OSI-approved license — safe to contribute to under normal employer IP policies.

Community

ciaranm57

A constraint programming solver with support for proof logging

active
206 contributors102 issues
1d ago

More C++ repos

PX4
PX4/PX4-Autopilot
PX4 Autopilot Software
12.7k99
Bitcoin-ABC
Bitcoin-ABC/bitcoin-abc
Bitcoin ABC develops node software and infrastructure for the eCash project. This a mirror of the official Bitcoin-ABC repository. Please see README.md
1.3k93
espressif
espressif/arduino-esp32
Arduino core for the ESP32 family of SoCs
17.4k93