4 results found Sort:

sarsko
CreuSAT sarsko
12
614
mit
8
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
sat rust proof minisat rust-lang sat-solver verification formal-methods satisfiability automated-reasoning deductive-reasoning formal-verification
Created 2021-08-24
571 commits to master branch, last one 7 months ago
guicho271828
latplan guicho271828
19
85
unknown
9
LatPlan : A domain-independent, image-based classical planner
deeplearning search-algorithm automated-reasoning
Created 2017-07-07
1,598 commits to master branch, last one 2 years ago
dex3r
GPT-Codemaster dex3r
4
55
gpl-3.0
3
Automatic programming by creating Pull Requests from Issues using LLMs
ai llm gpt-4 openai chatgpt gpt-api automation openai-api programming automated-reasoning automated-programming
Created 2023-03-22
13 commits to main branch, last one about a year ago
Tractables
LogicCircuits.jl Tractables
4
48
apache-2.0
7
Logic Circuits from the Juice library
julia logic logic-circuits logical-reasoning automated-reasoning
Created 2019-12-21
1,089 commits to master branch, last one 5 months ago