z3-api-reasoning / optimizer.pt
smjain's picture
Upload model checkpoint
32bb36e
download
history blame contribute delete
38 MB
This file is stored with Xet . It is too big to display, but you can still download it.

Xet Pointer Details

( Raw pointer file )
Xet hash:
3b19509df8ae33bc7397851bffabc686258d4cc043cd66050ca2cd388f6b5e57
Size of remote file:
38 MB
·
SHA256:
bf2decbb6e75182a8b0057f3b6cb1302d10ac2d8de283161963200c34ca72b40

Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.