simple_sat 0.1.3

A simple, dependency free boolean satisfiability solver.

Downloads

0 200 400 600 800 Last 30 days, all versions
  • 504 504
    this version
  • 66 66
    yesterday
  • 978 978
    last 7 days
  • 1 770 1 770
    all time

Versions (4)

Dependencies (0)

Recent Activity

  • Apr 06, 2024 Publish documentation for release 0.1.3
  • Apr 06, 2024 Publish release 0.1.3
  • Apr 05, 2024 Publish documentation for release 0.1.2
  • Apr 05, 2024 Publish release 0.1.2
  • Mar 26, 2024 Publish documentation for release 0.1.1
  • Mar 26, 2024 Publish release 0.1.1
  • Feb 24, 2024 Publish documentation for release 0.1.0
  • Feb 24, 2024 Publish release 0.1.0

Show All Activities

Config

mix.exs
rebar.config
erlang.mk

Checksum

Build Tools

mix

Owners

Publisher

ash-project

Dependents (3)

ash, ash_postgres, ash_oban, show all...