MARCO

A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.

OTHER License

Stars
17
View Code on GitHub Visit Website
Ecosystems: C++

Issue Statistics

Past Year

All Time

Total Pull Requests
0
0
Merged Pull Requests
0
0
Total Issues
0
0
Time to Close Issues
N/A
N/A
Related Projects
libsnark

C++ library for zkSNARKs

02 Jun 2014 1,815
MULLS

MULLS: Versatile LiDAR SLAM via Multi-metric Linear Least Square [ICRA '21]

01 Nov 2020 609
CPProb

Scalable Probabilistic Programming Library

15 Dec 2016 21
mts

Marian Translation Service

04 May 2020 2
camada

09 May 2020 4
minicard

MiniCard: An efficient cardinality solver based on MiniSAT

01 Jun 2012 17
minisat

A minimalistic and high-performance SAT solver

06 Sep 2009 1,014
marian

Fast Neural Machine Translation in C++

14 Apr 2016 1,194
PyMiniSolvers

A Python API for the MiniSat and MiniCard constraint solvers.

11 Mar 2014 19
marian-dev

Fast Neural Machine Translation in C++ - development repository

03 May 2016 255
MEMT

System Combination

01 Jun 2012 13