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.

Large File Pointer Details

( Raw pointer file )
SHA256:
bf2decbb6e75182a8b0057f3b6cb1302d10ac2d8de283161963200c34ca72b40
Pointer size:
133 Bytes
·
Size of remote file:
38 MB
·
Xet backed hash:
3b19509df8ae33bc7397851bffabc686258d4cc043cd66050ca2cd388f6b5e57

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