GitHub topics: constraint-programming
slothy-optimizer/slothy
Assembly super-optimization via constraint solving
Language: Assembly - Size: 31.4 MB - Last synced at: about 5 hours ago - Pushed at: about 5 hours ago - Stars: 188 - Forks: 19
apache/incubator-kie-optaplanner
AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
Language: Java - Size: 233 MB - Last synced at: 29 minutes ago - Pushed at: about 6 hours ago - Stars: 3,379 - Forks: 957
scipopt/scip
SCIP - Solving Constraint Integer Programs
Language: C - Size: 226 MB - Last synced at: 1 day ago - Pushed at: 2 days ago - Stars: 452 - Forks: 76
CPToolset/XCSP-Launcher
A unified installer and launcher for XCSP3 solvers: install, build, and solve — with a single tool.
Language: Python - Size: 1.32 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0
huub-solver/huub
A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed
Language: Rust - Size: 3.1 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 10 - Forks: 6
lume/kiwi
Fast TypeScript implementation of the Cassowary constraint solving algorithm (soon for AssemblyScript / WebAssembly).
Language: TypeScript - Size: 545 KB - Last synced at: 2 days ago - Pushed at: 3 months ago - Stars: 168 - Forks: 9
lorenzialessandro/hcpga
A Hybrid Constrained Programming with Genetic Algorithm for the Job Shop Scheduling Problem
Language: Python - Size: 107 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0
karpfenprofessor/uvl_merger
merge variability models using java choco
Language: Java - Size: 1.33 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1 - Forks: 0
xcsp3team/cosoco
COmpact SOlver for COnstrained problems
Language: C++ - Size: 901 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 12 - Forks: 3
xcsp3team/pycsp3
A Python Library for modeling combinatorial constrained problems
Language: Python - Size: 213 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 67 - Forks: 9
xcsp3team/PyCSP3-models
Models (and data) of constrained problems developped with the library PyCSP3
Language: Python - Size: 16.3 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 10 - Forks: 1
Pabloo22/job_shop_lib
A modular Python library for creating, solving, and visualizing job shop scheduling problems.
Language: Python - Size: 19.9 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 33 - Forks: 3
TimefoldAI/timefold-solver
The open source Solver AI for Java, Python and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.
Language: Java - Size: 256 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1,326 - Forks: 127
TimefoldAI/timefold-quickstarts
Get started with Timefold quickstarts here. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.
Language: Java - Size: 27.9 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 357 - Forks: 102
ktnr/BinPacking2D
Exact solutions for two-dimensional bin packing problems by branch-and-cut
Language: Python - Size: 1.06 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 65 - Forks: 10
xcsp3team/XCSP3-Java-Tools
XCSP3 Tools in Java
Language: Java - Size: 7.86 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 22 - Forks: 5
PyJobShop/PyJobShop
Solve scheduling problems with constraint programming in Python.
Language: Python - Size: 1.54 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 39 - Forks: 6
codac-team/codac
Codac is a library for constraint programming over reals, trajectories and sets.
Language: C++ - Size: 25.5 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 43 - Forks: 18
MiniZinc/minizinc-js
Use MiniZinc in the browser or with NodeJS
Language: JavaScript - Size: 1.26 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 41 - Forks: 8
conjure-cp/conjure
Conjure: The Automated Constraint Modelling Tool
Language: Haskell - Size: 109 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 104 - Forks: 22
chocoteam/choco-solver
An open-source Java library for Constraint Programming
Language: Java - Size: 83.4 MB - Last synced at: 8 days ago - Pushed at: 20 days ago - Stars: 718 - Forks: 146
MiniZinc/minizinc-python
Access to all MiniZinc functionality directly from Python
Language: Python - Size: 1000 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 159 - Forks: 27
hadipourh/zeroplus
Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2
Language: MiniZinc - Size: 3.48 MB - Last synced at: 1 day ago - Pushed at: about 2 months ago - Stars: 13 - Forks: 0
CameleoGrey/greyjack-solver-python
GreyJack Solver is a "jack of all trades" constraint metaheuristic solver for Python, built on the robust foundations of Rust and Polars
Language: Rust - Size: 584 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 0 - Forks: 0
xgillard/ddo
DDO a generic and efficient framework for MDD-based optimization.
Language: Rust - Size: 14.9 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 62 - Forks: 7
VincentGsell/2d-Constraints-Demos
Playing with 2d constaints
Language: Pascal - Size: 1.12 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 9 - Forks: 3
xcsp3team/XCSP3-CPP-Parser
XCSP3 Core Parser in C++
Language: C++ - Size: 4.02 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 19 - Forks: 11
lifebeyondfife/Decider
An Open Source .Net Constraint Programming Solver
Language: C# - Size: 254 KB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 159 - Forks: 24
joshuaguerin/Answer-Set-Programming-Algorithms
Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
Language: Answer Set Programming - Size: 2.53 MB - Last synced at: 22 days ago - Pushed at: 23 days ago - Stars: 16 - Forks: 0
aymericb213/IAC
Implementation of the Incremental and Active Clustering (IAC) framework
Language: HTML - Size: 896 MB - Last synced at: 22 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0
xcsp3team/ACE
Constraint Solver ACE
Language: Java - Size: 89.9 MB - Last synced at: 22 days ago - Pushed at: 23 days ago - Stars: 29 - Forks: 6
Hareski/language-free-acq
A method for learning a constraint network with only solutions and non-solutions but no knowledge of the language to be used.
Language: Python - Size: 2.79 MB - Last synced at: 1 day ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0
bokner/solverl
Erlang/Elixir interface to MiniZinc.
Language: Elixir - Size: 1.1 MB - Last synced at: 17 days ago - Pushed at: over 1 year ago - Stars: 43 - Forks: 7
devhnry/course-schedular-backend
Final Year Project....In Progress
Language: Java - Size: 139 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0
weiran-aitech/shift_schedule
Modelling and Solving Employee Shift Scheduling (Including Nurse Rostering) Problems Using Constraint Programming (Combination of Artificial Intelligence and Operations Research) and Software Engineering Technologies 应用约束规划(人工智能+运筹学)及软件工程技术建模和解决员工排班(包括护士排班)调度问题
Language: Python - Size: 11 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 38 - Forks: 4
jump-dev/MiniZinc.jl
A Julia interface to the MiniZinc constraint modeling language
Language: Julia - Size: 144 KB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 18 - Forks: 4
bokner/fixpoint
Constraint programming solver
Language: Elixir - Size: 4.15 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 59 - Forks: 0
cnapy-org/CNApy
An integrated visual environment for metabolic modeling with common methods such as FBA, FVA and Elementary Flux Modes, and advanced features such as thermodynamic methods, extended Minimal Cut Sets, OptKnock, RobustKnock, OptCouple and more!
Language: Python - Size: 6.78 MB - Last synced at: 14 days ago - Pushed at: 3 months ago - Stars: 54 - Forks: 8
fel88/CascadeDesktop
OpenCASCADE GUI Viewer/Editor
Language: C# - Size: 4.3 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 45 - Forks: 17
Arthod/python-minizinc-maker
Create pure Minizinc .mzn files from Python using python-minizinc-maker library.
Language: Python - Size: 1.91 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 6 - Forks: 0
hadipourh/autoguess
An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges
Language: Python - Size: 24.3 MB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 28 - Forks: 4
CameleoGrey/greyjack-solver-rust
GreyJack Solver is the metaheuristic constraint solver for continuous, integer, mixed integer problems built on top of Polars
Language: Rust - Size: 8.83 MB - Last synced at: 9 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
MiniZinc/minizinc-playground
MiniZinc playground using WebAssembly
Language: Svelte - Size: 17.6 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 9 - Forks: 1
corail-research/SeaPearl.jl
Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.
Language: Julia - Size: 8.7 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 168 - Forks: 10
pjritee/pl_search_cpp
A C++ module that uses Prolog ideas for search and constraint programming
Language: C++ - Size: 3.28 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
ScheduleOpt/optalcp-benchmarks
Benchmarks, demos and utilities for OptalCP solver
Language: Scheme - Size: 200 MB - Last synced at: 29 days ago - Pushed at: about 2 months ago - Stars: 3 - Forks: 1
xoolive/constraints
Materials for a constraint programming course
Language: TeX - Size: 2.74 MB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 21
Xavier-MaYiMing/Scheduling-Models
A collection of Mixed Integer Programming and Constraint Programming models for various scheduling problems, with Python implementations using CPLEX and Gurobi.
Language: Python - Size: 3.02 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0
triska/simsttab
Simple timetabling engine for schools
Language: Prolog - Size: 35.2 KB - Last synced at: about 2 months ago - Pushed at: 10 months ago - Stars: 26 - Forks: 12
xoolive/optim4ai
Optimisation for Artificial Intelligence, a 4-day course
Language: Jupyter Notebook - Size: 5.76 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 0 - Forks: 1
yangeorget/nucs
NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains
Language: Python - Size: 2.45 MB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0
chutrunganh/Optimization-Project-IT3052E
Optimizing the bin packing problem, aiming to efficiently allocate items of varying sizes into a finite number of bins while maximizing total profit, using optimization algorithms
Language: Python - Size: 2.39 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0
triska/clpfd
Constraint Logic Programming over Finite Domains
Language: Prolog - Size: 823 KB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 175 - Forks: 11
ptal/pcp
Constraint programming in Rust
Language: Rust - Size: 598 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 105 - Forks: 8
JuliaConstraints/LocalSearchSolvers.jl
A Julia package to manage Constraint-Based Local Search (CBLS) solvers.
Language: Julia - Size: 1.69 MB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 30 - Forks: 0
pjritee/pl_search
A Python module that uses Prolog ideas for search and constraint programming
Language: Python - Size: 208 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
paulk-asert/groovy-data-science
Some Data Science examples using Groovy
Language: Groovy - Size: 13.3 MB - Last synced at: 27 days ago - Pushed at: 3 months ago - Stars: 39 - Forks: 11
bokner/solverview
solverl+LiveView examples
Language: Elixir - Size: 384 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 17 - Forks: 0
mlabonne/linear-programming-course
Hands-on course about linear programming and mathematical optimization.
Language: Jupyter Notebook - Size: 362 KB - Last synced at: 18 days ago - Pushed at: almost 2 years ago - Stars: 97 - Forks: 15
starkblaze01/Jenereta
Automated TIme-Table Generator
Language: JavaScript - Size: 9.95 MB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 25 - Forks: 5
siemens/JMiniZinc
JMiniZinc
Language: Java - Size: 1.56 MB - Last synced at: 3 days ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 6
avaneev/biteopt
Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP
Language: C++ - Size: 3.32 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 148 - Forks: 9
SimReale/multiple_couriers_CVRP
Combinatorial optimization project for the Multiple Couriers Problem (MCP).
Language: Python - Size: 2.18 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
triska/clpb
Boolean Constraint Solving in Prolog
Language: Prolog - Size: 305 KB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 39 - Forks: 6
pharmbio/plaid
PLAID (Plate Layouts using Artificial Intelligence Design) is a flexible constraint-programming model representing the Plate Layout Design problem.
Language: Jupyter Notebook - Size: 600 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 13 - Forks: 4
milind-prajapat/Sudoku
Sudoku Recognition And Its Solution Using Image Processing, Constraint Programming And Backtracking
Language: Python - Size: 11.8 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 2 - Forks: 2
Wikunia/ConstraintSolver.jl
ConstraintSolver in Julia: Blog posts ->
Language: Julia - Size: 2.18 MB - Last synced at: 28 days ago - Pushed at: about 3 years ago - Stars: 137 - Forks: 14
erohkohl/n-queens-sat
Modelling n-queens problem as conjunctive normal form and solving it with DPLL algorithm. This project should made me familiar with Rust and the test driven approach.
Language: Rust - Size: 16.3 MB - Last synced at: 2 days ago - Pushed at: almost 8 years ago - Stars: 7 - Forks: 1
alussana/TrieSUS
Find the Smallest Unique Subset (SUS), fast
Language: Python - Size: 481 KB - Last synced at: 17 days ago - Pushed at: 4 months ago - Stars: 5 - Forks: 1
jmjrawlings/MiniZinc.Net
MiniZinc ↔ .NET
Language: C# - Size: 2.55 MB - Last synced at: about 10 hours ago - Pushed at: about 10 hours ago - Stars: 6 - Forks: 0
jstrieb/poker-chipper
Optimally allocate poker chips using constrained, nonlinear optimization
Language: Svelte - Size: 14.4 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 173 - Forks: 4
jpneto/topicsInPython
Jupyter notebooks about Programming, Statistics and Math
Language: Jupyter Notebook - Size: 3.39 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 3 - Forks: 1
Radi3nt/LWPhysicsEngine
This project aims at creating a realtime physics engine to be used in games
Language: Java - Size: 359 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0
crillab/aceurancetourix
Aceurancetourix is a JUNIVERSE adapter for the constraint solver ACE.
Language: Java - Size: 23.3 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
paulk-asert/groovy-constraint-programming
Three common programming paradigms or styles are the imperative (OO & procedural), functional, and logic (or constraint) styles. This repo shows examples of the latter using the Apache Groovy programming language and other (mostly JVM) languages which support this style of programming (often using libraries).
Language: Groovy - Size: 27.4 MB - Last synced at: 27 days ago - Pushed at: 5 months ago - Stars: 7 - Forks: 5
djawed-bkh/CPAIOR2024
This repository introduces two novel CP approaches for mining closed interval patterns directly from numerical datasets. Unlike existing methods that require pre- and post-processing steps to handle numerical data, our models perform pattern mining seamlessly, preserving information integrity.
Language: C++ - Size: 18.7 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
stivalaa/traffic_assignment
User equilibrium traffic assignment and models for scheduling road upgrades
Language: C++ - Size: 6.91 MB - Last synced at: 28 days ago - Pushed at: 5 months ago - Stars: 3 - Forks: 2
xoolive/facile
Python constraint programming library
Language: OCaml - Size: 409 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 23 - Forks: 6
ScheduleOpt/optalcp-js-bin-preview
OptalCP binaries for JavaScript (preview version)
Size: 7.37 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
ScheduleOpt/optalcp-js
OptalCP JavaScript API
Language: JavaScript - Size: 447 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
LukasPietzschmann/zigchr
A FreeCHR instance written in Zig
Language: Zig - Size: 61.5 KB - Last synced at: 1 day ago - Pushed at: 7 months ago - Stars: 3 - Forks: 0
Dekker1/homebrew-minizinc
A Homebrew Tap for MiniZinc solvers
Language: Ruby - Size: 81.1 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 3 - Forks: 0
richoux/LearningErrorFunctions
Interpretable Error Function learning
Language: C++ - Size: 111 MB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0
matheusriale/Constraint-Programming_k_Knights_Problem
Code made for Constraint Programming classes, similar with the 8 queens problem, analyzing solutions, pruning and use of an heuristic to optimize our code
Language: Python - Size: 313 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
Willtl/online-printing-shop
OPS scheduling problem models and instances.
Language: Python - Size: 12.5 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 5 - Forks: 5
carlosgeos/laligafantasy
⚽ 🇪🇸 Get the edge on LaLiga Fantasy
Language: Clojure - Size: 480 KB - Last synced at: 1 day ago - Pushed at: 8 months ago - Stars: 3 - Forks: 0
nornagon/constraint-solving-pcg
Using Constraints to Generate Content That Follows Rules
Language: Python - Size: 453 KB - Last synced at: 27 days ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 0
Regista6/EA-FC-Automated-SBC-Solving
EA FC 25 Automated SBC Solving using Integer Programming ⚽
Language: Python - Size: 3.02 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 47 - Forks: 9
twibiral/JavaCHR
Object-oriented implementation of Constraint Handling Rules in modern Java
Language: Java - Size: 1.53 MB - Last synced at: 29 days ago - Pushed at: about 3 years ago - Stars: 7 - Forks: 0
alex-87/qaekwy-python
Python Client library for Qaekwy Operational Research Solver
Language: Python - Size: 46.9 KB - Last synced at: 19 days ago - Pushed at: about 1 year ago - Stars: 10 - Forks: 1
EmilienLH/cpp-mai
MiniZinc model created for the CPP course @ UPC
Size: 2.38 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
LukasPietzschmann/zigtoberfest-talk
The slides for my talk at the zigtoberfest 2024
Language: TeX - Size: 6.46 MB - Last synced at: 5 days ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
Spuffynism/hockey-pool-picker
🏒 A constraint solver for hockey pools
Language: Jupyter Notebook - Size: 81.1 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
letmaik/monadiccp
Monadic Constraint Programming framework
Language: Haskell - Size: 286 KB - Last synced at: 22 days ago - Pushed at: about 7 years ago - Stars: 28 - Forks: 10
hakank/hakank
My public programs and models - mostly combinatorial problems and puzzles
Language: JavaScript - Size: 61.1 MB - Last synced at: 7 months ago - Pushed at: 8 months ago - Stars: 366 - Forks: 76
hyperc-ai/ordered
Entropy-controlled contexts in Python
Language: Python - Size: 120 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 39 - Forks: 3
gglorian/Nacre Fork of crillab/nacre_mini
NACRE : Nogood And Clause Reasoning Engine
Language: C++ - Size: 395 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0
carlosgeos/free-money
Advantage gambling with sport betting bonuses
Language: AMPL - Size: 50.8 KB - Last synced at: 1 day ago - Pushed at: almost 6 years ago - Stars: 9 - Forks: 1
Blackhol3/kholgen
KhôlGen is an application and a library to find the optimal distribution of colles for teachers and students in a Classe Préparatoire aux Grandes Ecoles (CPGE).
Language: TypeScript - Size: 1.52 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
khaled-abdrabo/sudoku-solver
This project offers a robust and flexible solution for solving Sudoku puzzles of different sizes (9x9, 16x16, and 36x36). It utilizes constraint programming techniques, specifically OR-tools' CP-SAT models, for effective puzzle solving.
Language: Python - Size: 172 KB - Last synced at: 5 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
