Giters

saeednj / BMMSAT

This repository is for experimental codes on use of Bayesian Moment Matching in SAT/MAX-SAT solvers

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

BMMSAT

This repository is for experimental codes on use of Bayesian Moment Matching in SAT/MAX-SAT solvers

About

This repository is for experimental codes on use of Bayesian Moment Matching in SAT/MAX-SAT solvers

Languages

Language:C++ 74.7%Language:TeX 14.4%Language:Python 5.7%Language:CMake 1.9%Language:Shell 0.9%Language:Makefile 0.6%Language:C 0.6%Language:PHP 0.4%Language:Rust 0.3%Language:CSS 0.2%Language:JavaScript 0.1%Language:HTML 0.1%Language:Dockerfile 0.0%Language:PowerShell 0.0%