togatoga/togasat togatoga/togasat

  • Stars
    star
    67
  • Rank 460,123 (Top 10 %)
  • Language
    C++
  • License
    MIT License
  • Created about 8 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
togatoga/togasat
github

togatoga

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A Header-Only CDCL SAT Solver for Programming Contest

More Repositories

1

kanpyo

Japanese Morphological Analyzer written in Rust
Rust
93
star
2

screwsat

A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
Rust
36
star
3

procon-gardener

Archive your accepted code
Go
32
star
4

monkey-json

A hobby project to write JSON parser from the scratch
Rust
27
star
5

goforces

goforces is go package for the codeforces api
Go
14
star
6

spoterm

๐ŸŽต Playing Spotify on your Terminal ๐Ÿ’ป
Rust
9
star
7

dotfiles

my dotfiles
Shell
7
star
8

vn

vn is terminal tool to help people learn English
Python
7
star
9

cpm

A tool for managing competitive programming problems
Rust
7
star
10

bullsat

C++
4
star
11

codeforces-problems

Problem maneger for Codeforces user
JavaScript
3
star
12

atcoder-sample-downloder

Download sample test cases of AtCoder problems
Rust
2
star
13

competitive-lib

competitive-lib
Rust
2
star
14

NLP100knock

NLP100ๆœฌใƒŽใƒƒใ‚ฏ(http://www.cl.ecei.tohoku.ac.jp/nlp100/)
Python
2
star
15

resume

Shell
1
star
16

Hypersonic

https://www.codingame.com/contests/hypersonic
C++
1
star
17

elasticsearch-sudachi-experiment

Dockerfile
1
star
18

google-hash-code-practice-2020

Rust
1
star
19

gatosat

A CDCL SAT solver written in Golang(Go).
Go
1
star
20

talks

1
star
21

procon-archive

Rust
1
star
22

scrapsat

Rust
1
star
23

pe

pe is a commnad line tool to pronunce an english word.
Go
1
star