{"schemaVersion":1,"kind":"project","documentationUrl":"https://decomphub.com/data","project":{"id":"5495b371-7972-40ca-b17d-fd79147d41d2","slug":"minisat-ml","revision":2,"name":"minisat-ml","description":"Faithful reimplementation of Minisat 2.2 in OCaml.","url":"https://app.decomphub.com/projects/minisat-ml","jsonUrl":"https://app.decomphub.com/data/projects/minisat-ml.json","markdownUrl":"https://app.decomphub.com/data/projects/minisat-ml.md","category":"applications","workTypes":["reimplementation"],"targets":["Minisat 2.2"],"status":"unknown","publishedAt":"2026-10-06T19:40:00.076Z","updatedAt":"2026-10-06T19:40:00.076Z","repository":{"url":"https://github.com/imandra-ai/minisat-ml","host":"github.com","fullPath":"imandra-ai/minisat-ml","description":"Faithful reimplementation of Minisat 2.2 in OCaml.","license":null,"starCount":39,"starsCheckedAt":"2026-10-06T16:31:08.426Z","upstreamArchived":false,"defaultBranch":null,"latestDefaultBranchCommitAt":null,"metadataCheckedAt":"2026-10-06T16:31:08.426Z"},"progress":[],"sources":[{"label":"Public repository metadata","url":"https://github.com/imandra-ai/minisat-ml"},{"label":"Discovery query","url":"https://api.github.com/search/repositories?q=%22reimplementation%22+in%3Aname%2Cdescription+is%3Apublic+fork%3Afalse+created%3A2018-09-09..2019-11-16&sort=updated&order=desc&per_page=100&page=1"}],"longDescription":"","aliases":[],"originalPlatforms":[],"outputPlatforms":[],"architectures":[],"languages":["OCaml"],"tags":[],"links":{"website":null,"documentation":null,"releases":null,"buildInstructions":null,"repositories":[],"community":[],"support":[],"issues":[]},"contribution":{"status":"unknown","helpNeeded":[],"url":null,"sourceUrl":null,"checkedAt":null,"prerequisites":"","environments":[],"aiPolicy":"unspecified","aiPolicySourceUrl":null,"aiPolicyConditions":""},"originalAssetsNote":""}}