sukrutrao / Timetabler
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
☆40Updated 5 years ago
Alternatives and similar repositories for Timetabler:
Users that are interested in Timetabler are comparing it to the libraries listed below
- Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite☆11Updated 4 years ago
- Evolutionary feature synthesis☆17Updated 9 years ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆8Updated 6 years ago
- A simple Binary Decision Diagram library in Java☆15Updated 6 years ago
- Conditional Associative Logic Memory☆27Updated 7 years ago
- The Automata Learning Framework☆17Updated 4 years ago
- Implementation of many similarity join algorithms.☆15Updated 11 years ago
- Simple, small, fully-connected Python version of NeoRL☆11Updated 9 years ago
- RockIt: A query engine for Markov logic☆11Updated 8 years ago
- Python library for declarative, constrained, structured-output prediction.☆21Updated last year
- A Java Stochastic Dynamic Programming Library☆13Updated this week
- Semantic flow graphs for data science☆28Updated 2 years ago
- NLP crowdsourcing platform for word-level annotations☆10Updated 5 years ago
- NLP functionality on top of the Sigma system☆17Updated this week
- two strange things to do with neural nets☆16Updated 6 years ago
- ☆17Updated 2 years ago
- A benchmark library for constraints☆89Updated 5 months ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- FlexGP: Flexible ML with Genetic Programming☆18Updated 10 years ago
- A small collection of C programs to illustrate MonetDBe☆10Updated last year
- Various utilities regarding Levenshtein transducers.☆68Updated 4 years ago
- JBotSim Core Files☆25Updated 3 years ago
- Yuck is a local-search constraint solver with FlatZinc interface☆57Updated 8 months ago
- The STINGER in-memory graph store and dynamic graph analysis platform. Millions to billions of vertices and edges at thousands to millio…☆11Updated 9 years ago
- DimmWitted Gibbs Sampler in C++ — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👉🏿☆17Updated 8 years ago
- Implementation of QuadSketch algorithm☆11Updated 2 years ago
- A DeepWalk implementation for ontologies using NetworkX and Gensim☆18Updated 7 years ago
- ibmgraphblas☆27Updated 6 years ago
- Flow graphs for Python☆25Updated 2 years ago