mios

shnarazk

A SAT solver written in Haskell.

haskell

View on GitHub Website

38 Stars

4 Forks

0 Watchers

Haskell Language

gpl-3.0 License

77.6 SrcLog Score

Cost to Build

$370.4K

Market Value

$410.3K

How is this calculated?

Growth over time

11 data points · 2021-08-01 → 2026-09-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about mios

Question copied to clipboard

What is the shnarazk/mios GitHub project? Description: "A SAT solver written in Haskell.". Written in Haskell. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone mios

Clone via HTTPS

git clone https://github.com/shnarazk/mios.git

Clone via SSH

[email protected]:shnarazk/mios.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the mios issue tracker:

Open GitHub Issues

Similar to mios

postgrest awesomo purescript compiler-explorer cardano-sl milewski-ctfp-pdf eta wire-server unison haste-compiler wiwinwlh grenade hadolint haskell-ide-engine real-world-haskell-cn miso lux patat HaLVM cabal arl haskell-must-watch intero hledger codeworld articles Project-Euler-solutions Tidal aura unused