Stars
SMTS: a framework for distributed SMT and PDR, supporting lemma sharing and partitioning
ChampSim is an open-source trace based simulator maintained at Texas A&M University and through the support of the computer architecture community.
Gallery of OSMnx tutorials, usage examples, and feature demonstations.
A Python implementation of global optimization with gaussian processes.
[ICML 2024] Official code for the paper "Revisiting Zeroth-Order Optimization for Memory-Efficient LLM Fine-Tuning: A Benchmark ".
CELES: CUDA-accelerated electromagnetic scattering by large ensembles of spheres
Hardware accelerated, batchable and differentiable optimizers in JAX.
A standalone local search solver for general mixed integer programming
Local-search based solver of Constraint Satisfaction and Optimization Problems
A Python Library for modeling combinatorial constrained problems
C++ library for creating and manipulating decision diagrams.
This repo is meant to serve as a guide for Machine Learning/AI technical interviews.
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
A python package of Zeroth-Order Optimization (ZOOpt)
A DAG processor and compiler for a tree-based spatial datapath.
BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit
BandMaxSAT: Multi-armed Bandit for the Local Search MaxSAT Solver
Many real-life optimization problems can be formulated in Boolean logic as MaxSAT. Here we present a continuous-time analog solver for MaxSAT and show that one can predict the maximum number of sat…
Approximate Model Counter for Pseudo Boolean Constraints