Lingeling SAT Solver - Armin Biere - arminbiere

GitHub GitHub
Size 1.3M (1.2M (+40K))
Commits 15 (14 (+1))
Update Stats 11s ... 42s (12s * 10)
Last Change 2019-10-19 16:51:40
Last Check 2019-12-08 06:31:01
Created 2019-10-12 14:06:44
Remotes
1. https://github.com/arminbiere/lingeling
Forks
1. https://github.com/andrewvaughanj/lingeling
2. https://github.com/cashpipeplusplus/lingeling
3. https://github.com/dMaggot/lingeling
4. https://github.com/jhoenicke/lingeling
5. https://github.com/marchartung/lingeling
6. https://github.com/mballance/lingeling
7. https://github.com/notwa/lingeling
8. https://github.com/pawelswoboda/lingeling
9. https://github.com/yluo39github/lingeling

Messages as of last check on 2019-12-08 06:31:01

Operation

mballance/lingeling
marchartung/lingeling
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-andrewvaughanj    https://github.com/andrewvaughanj/lingeling (fetch)
m-vcs-github-fork-andrewvaughanj    https://github.com/andrewvaughanj/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-github-fork-dMaggot   https://github.com/dMaggot/lingeling (fetch)
m-vcs-github-fork-dMaggot   https://github.com/dMaggot/lingeling (push)
m-vcs-github-fork-jhoenicke https://github.com/jhoenicke/lingeling (fetch)
m-vcs-github-fork-jhoenicke https://github.com/jhoenicke/lingeling (push)
m-vcs-github-fork-marchartung   https://github.com/marchartung/lingeling (fetch)
m-vcs-github-fork-marchartung   https://github.com/marchartung/lingeling (push)
m-vcs-github-fork-mballance https://github.com/mballance/lingeling (fetch)
m-vcs-github-fork-mballance https://github.com/mballance/lingeling (push)
m-vcs-github-fork-notwa https://github.com/notwa/lingeling (fetch)
m-vcs-github-fork-notwa https://github.com/notwa/lingeling (push)
m-vcs-github-fork-pawelswoboda  https://github.com/pawelswoboda/lingeling (fetch)
m-vcs-github-fork-pawelswoboda  https://github.com/pawelswoboda/lingeling (push)
m-vcs-github-fork-yluo39github  https://github.com/yluo39github/lingeling (fetch)
m-vcs-github-fork-yluo39github  https://github.com/yluo39github/lingeling (push)
m-vcs-git-https%3a%2f%2fgithub.com%2farminbiere%2flingeling
m-vcs-github-fork-andrewvaughanj
m-vcs-github-fork-cashpipeplusplus
m-vcs-github-fork-dMaggot
m-vcs-github-fork-jhoenicke
m-vcs-github-fork-marchartung
m-vcs-github-fork-mballance
m-vcs-github-fork-notwa
m-vcs-github-fork-pawelswoboda
m-vcs-github-fork-yluo39github
15
Fetching m-vcs-github-fork-jhoenicke
Fetching m-vcs-github-fork-marchartung
Fetching m-vcs-github-fork-pawelswoboda
Fetching m-vcs-github-fork-yluo39github
Fetching m-vcs-github-fork-andrewvaughanj
Fetching m-vcs-github-fork-cashpipeplusplus
Fetching m-vcs-github-fork-notwa
Fetching m-vcs-github-fork-dMaggot
Fetching m-vcs-git-https%3a%2f%2fgithub.com%2farminbiere%2flingeling
Fetching m-vcs-github-fork-mballance
15

Contact information

Mail to Andreas Kupries