custom-constraints

There are 0 repository 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
constraint-satisfaction-problem satisfiability maxsat sat-solver sat timetable-generator timetabler iith iit-hyderabad custom-constraints maxsat-solver timetable timetable-builder open-wbo cpp
Language:C++ 38
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.
coinbase crypto custom-constraints trading api-wrapper client library maven
Language:Java 2
xenomorph1096 / gnowdb
gnowdb
clojure neo4j version-control class gnowsys gstudio workspaces custom-functions custom-constraints
Language:Clojure 2
peetkes / ml-constraints
Custom MarkLogic constraints that go beyond what Search API provides out of the box
xquery marklogic multi-select faceted-search custom-constraints
Language:XQuery

sukrutrao / Timetabler