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

Git LFS Details

  • SHA256: bf2decbb6e75182a8b0057f3b6cb1302d10ac2d8de283161963200c34ca72b40
  • Pointer size: 133 Bytes
  • Size of remote file: 38 MB

Git Large File Storage (LFS) replaces large files with text pointers inside Git, while storing the file contents on a remote server. More info.