wujunzero

Wu Jun's repositories

HEA-D

HEA-D: A Hybrid Evolutionary Algorithm for Diversified Top-k Weight Clique Search Problem

Language:C++MIT400

bit-blasting

T2B

Language:C++1 10

bitsstdc-.h

stdc++.h

Language:C++100

EVA

EVAluate ideas

Language:ShellGPL-3.01 10

helix

A post-modern modal text editor.

Language:RustMPL-2.0100

ipasir

The Standard Interface for Incremental Satisfiability Solving

Language:C++NOASSERTION1 10

KaMIS

Maximum independent sets of large sparse graphs.

Language:C++GPL-2.01 10

leetcode-anki

Anki cards generator for Leetcode

Language:PythonMIT1 10

minisat

A minimalistic and high-performance SAT solver

Language:C++NOASSERTION1 10

models

Models and examples built with TensorFlow

Language:PythonApache-2.01 10

open-wbo

Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver

Language:C++NOASSERTION1 10

quick-cliques

Quickly compute all maximal cliques of a graph

Language:C++GPL-3.01 10

WDP

Benchmark for WDP

1 20

website

Language:JavaScript1 20

wujunzero

MIT1 10

z3

The Z3 Theorem Prover

Language:C++NOASSERTION100

z3test

Test and benchmark repository for Z3.

Language:SMTNOASSERTION1 10

faiss

A library for efficient similarity search and clustering of dense vectors.

MIT000