Search Results - RepositoryStats

12

628

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 11 months ago

19

85

unknown

8

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

15

58

apache-2.0

4

A Machine-to-Machine Interaction System for Lean 4.

lean4 python theorem-proving machine-learning automated-reasoning automated-theorem-proving

Created 2024-04-11

268 commits to main branch, last one 5 days ago

4

57

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

4

48

apache-2.0

6

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 9 months ago