levintreesearch_cm

Levin Tree Search with Context Models

Build status: ok passing tests valid license

Authors
Documentation
Tags
License
Last updatedFriday, December 1st, 2023 4:09:06pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/deepmind/levintreesearch_cm.git82c8b4ed63bde1978b153a060095cddf000dd217
Last checkedMonday, April 15th, 2024 8:35:23pm (UTC)
Last editedSaturday, May 27th, 2023 3:05:45pm (UTC)
Date addedSaturday, May 27th, 2023 3:05:45pm (UTC)
Modules
  • lts-cm/domains/sokoban/server-long.rkt
  • lts-cm/domains/witness/server-test.rkt
  • jobsched/examples/server-worker-simple.rkt
  • lts-cm/show-world.rkt
  • lts-cm/domains/sokoban/server.rkt
  • jobsched/examples/adder-server.rkt
  • lts-cm/future.rkt
  • lts-cm/delta-secant.rkt
  • lts-cm/beta-matrix.rkt
  • timev/scribblings/timev.scrbl
  • lts-cm/main.rkt
  • lts-cm/date.rkt
  • lts-cm/flonum.rkt
  • lts-cm/scribblings/lts-cm.scrbl
  • jobsched/examples/server-worker.rkt
  • lts-cm/context-setter.rkt
  • lts-cm/domains/witness/gui.rkt
  • lts-cm/domains/rubiks-cube/server.rkt
  • lts-cm/log-file.rkt
  • lts-cm/domains/stp/server-easy.rkt
  • lts-cm/domains/stp/sliding-tile.rkt
  • lts-cm/domains/sokoban/gui.rkt
  • lts-cm/domains/rubiks-cube/gui.rkt
  • lts-cm/domains/witness/witness.rkt
  • lts-cm/gui.rkt
  • lts-cm/cdb.rkt
  • lts-cm/domains/sokoban/example-optim-gui.rkt
  • lts-cm/server-chain.rkt
  • lts-cm/verbose.rkt
  • lts-cm/byte-board.rkt
  • jobsched/main.rkt
  • lts-cm/misc.rkt
  • jobsched/examples/adder-worker.rkt
  • lts-cm/domains/rubiks-cube/rubiks-cube.rkt
  • lts-cm/optimize.rkt
  • lts-cm/domains/rubiks-cube/pict.rkt
  • lts-cm/server.rkt
  • lts-cm/worker.rkt
  • lts-cm/policy.rkt
  • jobsched/worker.rkt
  • lts-cm/bfs.rkt
  • lts-cm/domains/witness/pict.rkt
  • lts-cm/encode.rkt
  • lts-cm/domains/stp/server.rkt
  • jobsched/job.rkt
  • timev/main.rkt
  • lts-cm/domains/sokoban/pict.rkt
  • lts-cm/domains/stp/gui.rkt
  • jobsched/utils.rkt
  • lts-cm/domains/stp/pict.rkt
  • lts-cm/domains/sokoban/sokoban.rkt
  • lts-cm/pict.rkt
  • lts-cm/domains/witness/server.rkt
  • jobsched/server.rkt
  • jobsched/scribblings/jobsched.scrbl