Skip to content

Commit 3c32425

Browse files
authored
Merge pull request #1179 from spkenv/resolvo
Add support for a CDCL-type SAT solver using the Resolvo crate
2 parents 6666945 + cfba38f commit 3c32425

File tree

61 files changed

+4657
-1032
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

61 files changed

+4657
-1032
lines changed

.site/spi/.spdev/overrides.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ def inject_credentials(super_script_list: spdev.shell.Script) -> spdev.shell.Scr
3636
"1",
3737
"sed",
3838
"-i",
39-
'"s|https://github.com|https://$GITHUB_SPFS_PULL_USERNAME:[email protected]|"',
39+
'"s|https://github.com/spkenv|https://$GITHUB_SPFS_PULL_USERNAME:[email protected]/spkenv|"',
4040
)
4141
)
4242

0 commit comments

Comments
 (0)