togatoga/screwsat togatoga/screwsat

  • Stars
    star
    36
  • Rank 731,469 (Top 15 %)
  • Language
    Rust
  • License
    Other
  • Created over 5 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
togatoga/screwsat
github

togatoga

Reviews

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

Repository Details

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

More Repositories

1

kanpyo

Japanese Morphological Analyzer written in Rust
Rust
93
star
2

togasat

A Header-Only CDCL SAT Solver for Programming Contest
C++
67
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