# dselsam/neurosat

<https://repo.masters-masters.com/en/repos/dselsam/neurosat>

[Home](https://repo.masters-masters.com/en) › [dselsam](https://repo.masters-masters.com/en/owners/dselsam) › [neurosat](https://repo.masters-masters.com/en/repos/dselsam/neurosat)

dselsam/neurosat has 299 stars on GitHub. Its RepoMasters card: Alpha tier. NeuroSAT: Learning a SAT Solver from Single-Bit Supervision Language: Python.

| Field | Value |
| --- | --- |
| Owner | [dselsam](https://repo.masters-masters.com/en/owners/dselsam) |
| Stars | 299 |
| Forks | 61 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | Apache-2.0 |
| Created | 2018 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [dselsam/neurosat](https://github.com/dselsam/neurosat) |

## Repository

NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by dselsam

- [dselsam/certigrad · ★ 404 · Lean · Alpha](https://repo.masters-masters.com/en/repos/dselsam/certigrad)

## Nearby in Python

- [xiaomi-research/xiaomi\_spatialembodied · ★ 299 · Python · Alpha](https://repo.masters-masters.com/en/repos/xiaomi-research/xiaomi_spatialembodied)
- [undrgrnd-labs/hunch · ★ 299 · Python · Alpha](https://repo.masters-masters.com/en/repos/undrgrnd-labs/hunch)
- [didi/helixharness · ★ 299 · Python · Alpha](https://repo.masters-masters.com/en/repos/didi/helixharness)
- [jwilder/mongodb-tools · ★ 299 · Python · Alpha](https://repo.masters-masters.com/en/repos/jwilder/mongodb-tools)
- [invernizzi/scapy-http · ★ 299 · Python · Alpha](https://repo.masters-masters.com/en/repos/invernizzi/scapy-http)
- [dimatura/pypcd · ★ 299 · Python · Alpha](https://repo.masters-masters.com/en/repos/dimatura/pypcd)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.