picosat_elixir

Bindings for the PicoSAT SAT solver

bitwalker
Artificial Intelligence

Package Resources

picosat_elixir
bitwalker/picosat_elixir
Documentation
No Changelog

Stars

33

Unreleased Activity

Unknown

First Release

6

years ago

Last Release

3

years ago

Downloads

151.5k

last 90 days

Last Stable Version

0.2.3

Activity

last year

Pull Requests

Open 1
Merged 0

Latest Merged Pull Requests

No Github activity

Issues

Open 0
Closed 0

Version 0.2.3

Published Dec 2022 •
Elixir Version Requirement ~> 1.7
Documentation for 0.2.3

Dependencies

1
elixir_make ~> 0.6

A Make compiler for Mix

No changelog for 0.2.3
Inspect source for 0.2.3

Community

Looks like this space is still empty… Want to be the first to contribute?

Share an article, talk, or podcast by adding resources to this package.

Related Packages

65 packages

llm_db

2026.7.2

LLM model metadata catalog with fast, capability-aware lookups.

req_llm

1.17.1

Composable Elixir library for LLM interactions built on Req

usage_rules

1.2.6

A dev tool for Elixir projects to gather LLM usage rules from dependencies

langchain

0.9.2

Elixir implementation of a LangChain style framework.