levintreesearch_cm

Levin Tree Search with Context Models

Build status: ok failing tests valid license

README Download
Authors
Documentation
Tags
License
Last updatedTuesday, November 26th, 2024 9:47:01am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/deepmind/levintreesearch_cm.git853473dcfe2cda44879c194de5a71a0ba7c554e8
Last checkedTuesday, January 14th, 2025 10:29:47pm (UTC)
Last editedSaturday, May 27th, 2023 3:05:45pm (UTC)
Date addedSaturday, May 27th, 2023 3:05:45pm (UTC)
Modules
  • lts-cm/delta-secant.rkt
  • lts-cm/bfs.rkt
  • lts-cm/domains/sokoban/gui.rkt
  • lts-cm/show-world.rkt
  • jobsched/examples/adder-server.rkt
  • lts-cm/domains/witness/server-test.rkt
  • lts-cm/flonum.rkt
  • lts-cm/policy.rkt
  • jobsched/examples/adder-worker.rkt
  • lts-cm/domains/rubiks-cube/rubiks-cube.rkt
  • lts-cm/domains/sokoban/example-optim-gui.rkt
  • lts-cm/worker.rkt
  • lts-cm/domains/sokoban/sokoban.rkt
  • lts-cm/verbose.rkt
  • jobsched/scribblings/jobsched.scrbl
  • lts-cm/domains/witness/witness.rkt
  • lts-cm/domains/stp/sliding-tile.rkt
  • lts-cm/pict.rkt
  • lts-cm/main.rkt
  • lts-cm/domains/rubiks-cube/server.rkt
  • jobsched/test/test-close-workers.rkt
  • lts-cm/domains/stp/server-easy.rkt
  • lts-cm/domains/rubiks-cube/gui.rkt
  • lts-cm/future.rkt
  • jobsched/fun-call.rkt
  • lts-cm/domains/witness/server.rkt
  • lts-cm/beta-matrix.rkt
  • timev/scribblings/timev.scrbl
  • lts-cm/log-file.rkt
  • lts-cm/scribblings/lts-cm.scrbl
  • lts-cm/context-setter.rkt
  • lts-cm/cdb.rkt
  • jobsched/examples/server-worker.rkt
  • lts-cm/date.rkt
  • lts-cm/domains/witness/gui.rkt
  • jobsched/worker.rkt
  • lts-cm/misc.rkt
  • jobsched/test/test-return-void.rkt
  • lts-cm/domains/rubiks-cube/pict.rkt
  • lts-cm/optimize.rkt
  • lts-cm/domains/sokoban/server.rkt
  • lts-cm/domains/witness/pict.rkt
  • lts-cm/byte-board.rkt
  • jobsched/main.rkt
  • jobsched/utils.rkt
  • jobsched/examples/server-worker-simple.rkt
  • jobsched/server.rkt
  • lts-cm/domains/sokoban/pict.rkt
  • lts-cm/domains/stp/gui.rkt
  • lts-cm/domains/stp/pict.rkt
  • lts-cm/domains/sokoban/server-long.rkt
  • jobsched/job.rkt
  • jobsched/test/test-unreadable.rkt
  • timev/main.rkt
  • jobsched/examples/server-worker-fun-call.rkt
  • lts-cm/server.rkt
  • lts-cm/domains/stp/server.rkt
  • lts-cm/encode.rkt
  • lts-cm/gui.rkt
  • lts-cm/server-chain.rkt