AllenZzw

LLMs-from-scratch

Implementing a ChatGPT-like LLM in PyTorch from scratch, step by step

scipy

SciPy library main repository

pyo3

Rust bindings for the Python interpreter

Modern-CPP-Programming

Modern C++ Programming Course (C++03/11/14/17/20/23/26)

gemma.cpp

lightweight, standalone C++ inference engine for Google's Gemma models.

texstudio

TeXstudio is a fully featured LaTeX editor. Our goal is to make writing LaTeX documents as easy and comfortable as possible.

cvxpylayers

Differentiable convex optimization layers

PySCIPOpt

Python interface for the SCIP Optimization Suite

choco-solver

An open-source Java library for Constraint Programming

kissat

PyEPO

A PyTorch-based End-to-End Predict-then-Optimize Library for Linear and Integer Programming

pysat

A toolkit for SAT-based prototyping in Python

scip

SCIP - Solving Constraint Integer Programs

cadical

CaDiCaL SAT Solver

lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

awesome_or-tools

A curated list of awesome OR-Tools community resources.

diffcp

Differentiation through cone programs

ParaFROST

A Parallel SAT Solver with GPU Accelerated Inprocessing

glucose

The glucose SAT solver

ddo

DDO a generic and efficient framework for MDD-based optimization.

didp-rs

Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.

columngenerationsolver

A solver based on column generation

shackle

A constraint modelling and rewriting library and compiler framework written in rust

Adaptive-Cutsel-MILP

Adaptive Cut Selection in Mixed-Integer Linear Programming

mzn2feat

Feature extractor for MiniZinc and XCSP models

CaVE

Cone-Aligned Vector Estimation for End-to-End Binary Linear Programming

ipasir2

IPASIR 2 Specification and Discussion

IEEE_CIS_3rd_Technical_Challenge_Optimiser

Optimisation engine used for solving the optimisation problem introduced in the “predict+optimise” competition, IEEE CIS 3rd Technical Challenge

AircraftDisassemblyScheduling

This repository contains the code, data and results presented in the paper "A Constraint Programming Approach for Aircraft Disassembly Scheduling" submitted at the conference CPAIOR 2024.

csrflp-mip