simple_sat 0.1.3

A simple, dependency free boolean satisfiability solver.

Downloads

0 400 800 1200 1600 Last 30 days, all versions
  • 59 010 59 010
    this version
  • 260 260
    yesterday
  • 2 758 2 758
    last 7 days
  • 60 425 60 425
    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...