sukrutrao / TimetablerLinks
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
☆41Updated 6 years ago
Alternatives and similar repositories for Timetabler
Users that are interested in Timetabler are comparing it to the libraries listed below
Sorting:
- A Tool for Multi-Paradigm Modeling☆25Updated this week
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated last year
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated last year
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆38Updated 11 years ago
- Generate code from JSON schema files☆40Updated 2 weeks ago
- ibmgraphblas☆28Updated 7 years ago
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated 2 years ago
- ☆16Updated last year
- Implementation of generative semantic grammar.☆16Updated 3 years ago
- Distributed Graph Database Server☆19Updated last month
- The Automata Learning Framework☆19Updated 5 years ago
- Tool for building graph-based hierarchical knowledge representation systems☆88Updated 2 years ago
- ☆31Updated 5 months ago
- LoMRF is an open-source implementation of Markov Logic Networks☆86Updated last year
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 4 years ago
- A tool to automatically generate pseudo-code from source code.☆170Updated 3 years ago
- System for synthesizing Java API idioms, powered by Neural Sketch Learning☆279Updated 2 years ago
- Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"☆49Updated 4 years ago
- A generic AST generator for parser development.☆33Updated 7 years ago
- DimmWitted Gibbs Sampler in C++ — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👉🏿☆17Updated 9 years ago
- C Language Analysis in Rascal☆27Updated last month
- The Llunatic Mapping and Cleaning Chase Engine☆37Updated 2 years ago
- The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL i…☆57Updated last week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- A dataset of popular pages (taken from <dir.yahoo.com>) with manually marked up semantic blocks.☆15Updated 12 years ago
- An implementation of DMN (Decision Model Notation) in Python☆44Updated 3 years ago
- Universal and language-independent abstract syntax tree☆54Updated 4 years ago
- Titus 2 : Portable Format for Analytics (PFA) implementation for Python 3.4+☆23Updated 3 years ago
- A Modern Probabilistic Model Checker☆160Updated this week