repo.or.cz
/
NixPkgs.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
history
|
HEAD
|
snapshot (
tar.gz
zip
)
biome: 1.9.2 -> 1.9.3
[NixPkgs.git]
/
pkgs
/
applications
/
science
/
logic
/
tree
aa2f8bf2bc84a2b56d419e8bb5c4e6ae614e859c
drwxr-xr-x
..
drwxr-xr-x
-
abc
tree
|
history
drwxr-xr-x
-
abella
tree
|
history
drwxr-xr-x
-
acgtk
tree
|
history
drwxr-xr-x
-
aiger
tree
|
history
drwxr-xr-x
-
alt-ergo
tree
|
history
drwxr-xr-x
-
anders
tree
|
history
drwxr-xr-x
-
aspino
tree
|
history
drwxr-xr-x
-
avy
tree
|
history
drwxr-xr-x
-
beluga
tree
|
history
drwxr-xr-x
-
bitwuzla
tree
|
history
drwxr-xr-x
-
boolector
tree
|
history
drwxr-xr-x
-
btor2tools
tree
|
history
drwxr-xr-x
-
cadical
tree
|
history
drwxr-xr-x
-
cbmc
tree
|
history
drwxr-xr-x
-
cedille
tree
|
history
drwxr-xr-x
-
celf
tree
|
history
drwxr-xr-x
-
clprover
tree
|
history
drwxr-xr-x
-
coq
tree
|
history
drwxr-xr-x
-
cryptominisat
tree
|
history
drwxr-xr-x
-
cryptoverif
tree
|
history
drwxr-xr-x
-
cubicle
tree
|
history
drwxr-xr-x
-
cvc3
tree
|
history
drwxr-xr-x
-
cvc4
tree
|
history
drwxr-xr-x
-
cvc5
tree
|
history
drwxr-xr-x
-
dafny
tree
|
history
drwxr-xr-x
-
drat-trim
tree
|
history
drwxr-xr-x
-
easycrypt
tree
|
history
drwxr-xr-x
-
egglog
tree
|
history
drwxr-xr-x
-
ekrhyper
tree
|
history
drwxr-xr-x
-
elan
tree
|
history
drwxr-xr-x
-
eprover
tree
|
history
drwxr-xr-x
-
fast-downward
tree
|
history
drwxr-xr-x
-
formula
tree
|
history
drwxr-xr-x
-
gappa
tree
|
history
drwxr-xr-x
-
glucose
tree
|
history
drwxr-xr-x
-
hol
tree
|
history
drwxr-xr-x
-
hol_light
tree
|
history
drwxr-xr-x
-
iprover
tree
|
history
drwxr-xr-x
-
key
tree
|
history
drwxr-xr-x
-
kissat
tree
|
history
drwxr-xr-x
-
klee
tree
|
history
drwxr-xr-x
-
lci
tree
|
history
drwxr-xr-x
-
lean
tree
|
history
drwxr-xr-x
-
lean2
tree
|
history
drwxr-xr-x
-
lean4
tree
|
history
drwxr-xr-x
-
leo2
tree
|
history
drwxr-xr-x
-
leo3
tree
|
history
drwxr-xr-x
-
lingeling
tree
|
history
drwxr-xr-x
-
logisim-evolution
tree
|
history
drwxr-xr-x
-
logisim
tree
|
history
drwxr-xr-x
-
ltl2ba
tree
|
history
drwxr-xr-x
-
mcrl2
tree
|
history
drwxr-xr-x
-
mcy
tree
|
history
drwxr-xr-x
-
metis-prover
tree
|
history
drwxr-xr-x
-
minisat
tree
|
history
drwxr-xr-x
-
monosat
tree
|
history
drwxr-xr-x
-
msat
tree
|
history
drwxr-xr-x
-
netlistsvg
tree
|
history
drwxr-xr-x
-
nuXmv
tree
|
history
drwxr-xr-x
-
nusmv
tree
|
history
drwxr-xr-x
-
open-wbo
tree
|
history
drwxr-xr-x
-
opensmt
tree
|
history
drwxr-xr-x
-
ott
tree
|
history
drwxr-xr-x
-
picosat
tree
|
history
drwxr-xr-x
-
poly
tree
|
history
drwxr-xr-x
-
potassco
tree
|
history
drwxr-xr-x
-
prooftree
tree
|
history
drwxr-xr-x
-
prover9
tree
|
history
drwxr-xr-x
-
proverif
tree
|
history
drwxr-xr-x
-
redprl
tree
|
history
drwxr-xr-x
-
satallax
tree
|
history
drwxr-xr-x
-
saw-tools
tree
|
history
drwxr-xr-x
-
sharpsat-td
tree
|
history
drwxr-xr-x
-
spass
tree
|
history
drwxr-xr-x
-
statverif
tree
|
history
drwxr-xr-x
-
stp
tree
|
history
drwxr-xr-x
-
surelog
tree
|
history
drwxr-xr-x
-
symfpu
tree
|
history
drwxr-xr-x
-
tamarin-prover
tree
|
history
drwxr-xr-x
-
tlaplus
tree
|
history
drwxr-xr-x
-
tptp
tree
|
history
drwxr-xr-x
-
twelf
tree
|
history
drwxr-xr-x
-
uhdm
tree
|
history
drwxr-xr-x
-
vampire
tree
|
history
drwxr-xr-x
-
verifast
tree
|
history
drwxr-xr-x
-
verit
tree
|
history
drwxr-xr-x
-
why3
tree
|
history
drwxr-xr-x
-
workcraft
tree
|
history
drwxr-xr-x
-
yices
tree
|
history
drwxr-xr-x
-
z3
tree
|
history
drwxr-xr-x
-
zchaff
tree
|
history
