custom-constraints
There are 4 repositories under custom-constraints topic.
sukrutrao/Timetabler
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
xenomorph1096/gnowdb
gnowdb
melon-bar/MelonBarExchange-CoinbasePro
Featureful authenticated client wrapper for Coinbase Pro. Allows users to create trade-level requests with all private API endpoints and provides a websocket feed client adapter enabling users to keep an L2 or L3 order book.
peetkes/ml-constraints
Custom MarkLogic constraints that go beyond what Search API provides out of the box