Record · sat4j.org
https://www.sat4j.org/
sat4j.org
A page on sat4j.org is cited by 3 distinct blogs to date (corpus.blog, measured 13 October 2026).
A record is what was published and who pointed at it. corpus.blog does not hold this page: read it at the source, or at its Wayback capture.
Is this your blog?
sat4j.org is not yet a blog corpus.blog holds. 3 blogs cite it. If it is yours, claim it.
3blogs citing
| Period | Blogs | Links |
|---|---|---|
| All time | 3 | 3 |
| Last 90 days | 0 | 0 |
| Last 30 days | 0 | 0 |
| Last 7 days | 0 | 0 |
| First cited | 16 Jan 2020 |
|---|---|
| Latest citation | 16 Jan 2020 |
| Words blogs link it with | 2 |
Words blogs link it with
The words blogs link this page with, by how many different blogs use them.
- sat4j2 blogs
- sat4j sat solver1 blog
Cited by 3 blogs in 3 posts
One row per blog, the most recently citing first. Each shows the blog's newest citing post; open a row for the others.
Blog
Newest citing post
Date
stevenwaterman.uk1 post
Planning 56 sprints per second with SAT4J
linked as “SAT4J”
Read at stevenwaterman.uk (opens in a new tab)16 Jan 2020
Scott Logic1 post
Planning 56 sprints per second with SAT4J
linked as “SAT4J”
Read at blog.scottlogic.com (opens in a new tab)—
Russ Cox1 post
research!rsc: Version SAT
linked as “sat4j SAT solver”
Read at research.swtch.com (opens in a new tab)—
Something wrong with this page’s record? Report a problem with sat4j.org