Lingeling SAT Solver - Armin Biere - arminbiere

GitHub GitHub
Size 3.7M (3.6M (+104K))
Commits 47 (-1 (+48))
Update Stats 0s ... 42s (18s * 10)
Last Change 2020-07-10 03:51:01
Last Check 2020-08-14 08:11:01
Created 2019-10-12 14:06:44
Remotes
1. https://github.com/arminbiere/lingeling
Forks
1. https://github.com/1480c1/lingeling
2. https://github.com/andrewvaughanj/lingeling
3. https://github.com/arijitsh/lingeling
4. https://github.com/cashpipeplusplus/lingeling
5. https://github.com/dMaggot/lingeling
6. https://github.com/fvutils/lingeling_pypi
7. https://github.com/jhoenicke/lingeling
8. https://github.com/lonsing/lingeling
9. https://github.com/mballance/lingeling_win32
10. https://github.com/nicholasRenninger/lingeling
11. https://github.com/notwa/lingeling
12. https://github.com/one30/lingeling
13. https://github.com/pawelswoboda/lingeling
14. https://github.com/yluo39github/lingeling

Messages as of last check on 2020-08-14 08:11:01

Operation

lonsing/lingeling
1480c1/lingeling
one30/lingeling
fvutils/lingeling_pypi
arijitsh/lingeling
nicholasRenninger/lingeling
mballance/lingeling_win32
notwa/lingeling
jhoenicke/lingeling
dMaggot/lingeling
yluo39github/lingeling
cashpipeplusplus/lingeling
pawelswoboda/lingeling
andrewvaughanj/lingeling
m-vcs-git-https%3a%2f%2fgithub.com%2farminbiere%2flingeling https://github.com/arminbiere/lingeling (fetch)
m-vcs-git-https%3a%2f%2fgithub.com%2farminbiere%2flingeling https://github.com/arminbiere/lingeling (push)
m-vcs-github-fork-1480c1    https://github.com/1480c1/lingeling (fetch)
m-vcs-github-fork-1480c1    https://github.com/1480c1/lingeling (push)
m-vcs-github-fork-andrewvaughanj    https://github.com/andrewvaughanj/lingeling (fetch)
m-vcs-github-fork-andrewvaughanj    https://github.com/andrewvaughanj/lingeling (push)
m-vcs-github-fork-arijitsh  https://github.com/arijitsh/lingeling (fetch)
m-vcs-github-fork-arijitsh  https://github.com/arijitsh/lingeling (push)
m-vcs-github-fork-cashpipeplusplus  https://github.com/cashpipeplusplus/lingeling (fetch)
m-vcs-github-fork-cashpipeplusplus  https://github.com/cashpipeplusplus/lingeling (push)
m-vcs-git-https%3a%2f%2fgithub.com%2farminbiere%2flingeling
m-vcs-github-fork-1480c1
m-vcs-github-fork-andrewvaughanj
m-vcs-github-fork-arijitsh
m-vcs-github-fork-cashpipeplusplus
m-vcs-github-fork-dMaggot
m-vcs-github-fork-fvutils
m-vcs-github-fork-jhoenicke
m-vcs-github-fork-lonsing
m-vcs-github-fork-mballance
m-vcs-github-fork-nicholasRenninger
m-vcs-github-fork-notwa
m-vcs-github-fork-one30
m-vcs-github-fork-pawelswoboda
m-vcs-github-fork-yluo39github
47
Fetching m-vcs-github-fork-andrewvaughanj
Fetching m-vcs-github-fork-cashpipeplusplus
Fetching m-vcs-git-https%3a%2f%2fgithub.com%2farminbiere%2flingeling
Fetching m-vcs-github-fork-arijitsh
Fetching m-vcs-github-fork-1480c1
Fetching m-vcs-github-fork-jhoenicke
Fetching m-vcs-github-fork-pawelswoboda
Fetching m-vcs-github-fork-yluo39github
Fetching m-vcs-github-fork-one30
Fetching m-vcs-github-fork-notwa
Fetching m-vcs-github-fork-nicholasRenninger
Fetching m-vcs-github-fork-mballance
Fetching m-vcs-github-fork-lonsing
Fetching m-vcs-github-fork-fvutils
Fetching m-vcs-github-fork-dMaggot

From https://github.com/jhoenicke/lingeling
 * [new branch]      master     -> m-vcs-github-fork-jhoenicke/master
From https://github.com/pawelswoboda/lingeling
 * [new branch]      master     -> m-vcs-github-fork-pawelswoboda/master
From https://github.com/yluo39github/lingeling
 * [new branch]      master     -> m-vcs-github-fork-yluo39github/master
From https://github.com/one30/lingeling
 * [new branch]      aws-plingeling  -> m-vcs-github-fork-one30/aws-plingeling
 * [new branch]      aws-treengeling -> m-vcs-github-fork-one30/aws-treengeling
 * [new branch]      master          -> m-vcs-github-fork-one30/master
From https://github.com/notwa/lingeling
 * [new branch]      master     -> m-vcs-github-fork-notwa/master
 * [new branch]      patch-1    -> m-vcs-github-fork-notwa/patch-1
From https://github.com/nicholasRenninger/lingeling
 * [new branch]      master     -> m-vcs-github-fork-nicholasRenninger/master
From https://github.com/mballance/lingeling_win32
 * [new branch]      master     -> m-vcs-github-fork-mballance/master
From https://github.com/lonsing/lingeling
 * [new branch]      aws-plingeling -> m-vcs-github-fork-lonsing/aws-plingeling
 * [new branch]      aws-treengeling -> m-vcs-github-fork-lonsing/aws-treengeling
 * [new branch]      dev            -> m-vcs-github-fork-lonsing/dev
 * [new branch]      master         -> m-vcs-github-fork-lonsing/master
From https://github.com/fvutils/lingeling_pypi
 * [new branch]      master     -> m-vcs-github-fork-fvutils/master
From https://github.com/dMaggot/lingeling
 * [new branch]      master     -> m-vcs-github-fork-dMaggot/master
47

Contact information

Mail to Andreas Kupries