private-yusuke/sat-d private-yusuke/sat-d

  • This repository has been archived on 01/Oct/2023
  • Stars
    star
    9
  • Rank 1,902,225 (Top 39 %)
  • Language
    D
  • License
    MIT License
  • Created about 4 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
private-yusuke/sat-d
github

private-yusuke

Reviews

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

Repository Details

A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム

More Repositories

1

botot2

A chatbot for Misskey with Markov chain
TypeScript
12
star
2

interscheckin

交差点でのチェックインを補助するために作成された Swarm 利用者のための Android アプリケーション
Kotlin
9
star
3

EWSParserApp

An EWS parser application works on Android
Kotlin
4
star
4

video2asciis

Converts your video to ASCII characters, then display them or even convert them into a video!
Python
3
star
5

discord-diff-watch-bot

A bot for watching the specified website and notify the difference.
TypeScript
2
star
6

bcheck-d

An application to check whether you as a coins20 student can graduate or not.
D
2
star
7

GB27001-arithmetic-interpreter

ソフトウェアサイエンス特別講義A（GB27001）の水島先生分の課題
Kotlin
2
star
8

botot

**Not Maintained** A chatbot for Misskey with Markov chain
JavaScript
1
star
9

private-yusuke.github.io

An website generated with Hugo and hosted on https://www.yusuke.pub/
HTML
1
star
10

smt-d

A small SMT solver implementation for QF_UF and LRA[WIP]. 2021年度の情報特別演習Iにて書いたプログラム
SMT
1
star
11

markov-ja

A Markov chain library for Japanese language.
JavaScript
1
star