custom-constraints

Here are 4 public repositories matching this 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

cpp constraint-satisfaction-problem timetable sat-solver timetable-builder timetable-generator sat satisfiability custom-constraints maxsat timetabler iit-hyderabad iith maxsat-solver open-wbo

Updated Sep 29, 2019
C++

xenomorph1096 / gnowdb

Star

gnowdb

clojure neo4j version-control class gnowsys gstudio workspaces custom-functions custom-constraints

Updated Sep 30, 2018
Clojure

melon-bar / MelonBarExchange-CoinbasePro

Star

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.

client library crypto trading coinbase maven api-wrapper custom-constraints

Updated Aug 8, 2021
Java

peetkes / ml-constraints

Star

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

faceted-search marklogic xquery multi-select custom-constraints

Updated Apr 28, 2020
XQuery

Improve this page

Add a description, image, and links to the custom-constraints topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the custom-constraints topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

custom-constraints

Here are 4 public repositories matching this topic...

sukrutrao / Timetabler

xenomorph1096 / gnowdb

melon-bar / MelonBarExchange-CoinbasePro

peetkes / ml-constraints

Improve this page

Add this topic to your repo