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

    Language:C++376259

  • xenomorph1096/gnowdb

    gnowdb

    Language:Clojure3419

  • 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.

    Language:Java2103

  • peetkes/ml-constraints

    Custom MarkLogic constraints that go beyond what Search API provides out of the box

    Language:XQuery20