| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| bgw-core/ | Sat Nov 14 19:17:00 PST 2026 | ||
| bgw-docs-examples/ | Sun Nov 01 05:30:58 PST 2026 | ||
| bgw-gui/ | Sun Nov 15 09:11:15 PST 2026 | ||
| bgw-maumau-example/ | Fri Nov 13 10:54:28 PST 2026 | ||
| bgw-net-client/ | Sun Nov 08 11:48:27 PST 2026 | ||
| bgw-net-common/ | Mon Nov 02 01:12:14 PST 2026 | ||
| bgw-net-protocol-client/ | Sat Nov 14 15:16:20 PST 2026 | ||
| bgw-net-server/ | Sun Nov 15 05:45:24 PST 2026 | ||
| bgw-sudoku-example/ | Sun Nov 15 12:41:49 PST 2026 | ||
| bgw-tetris-example/ | Fri Oct 30 13:25:25 PDT 2026 | ||
| cvc5-turnkey/ | Sun Nov 15 04:43:58 PST 2026 | ||
| jconstraints-benchmarktest/ | Sat Nov 14 14:18:17 PST 2026 | ||
| jconstraints-core/ | Sun Nov 15 04:45:17 PST 2026 | ||
| jconstraints-cvc5/ | Sun Nov 15 11:42:14 PST 2026 | ||
| jconstraints-metasolver/ | Sun Nov 01 22:18:58 PST 2026 | ||
| jconstraints-runner/ | Sat Nov 14 10:41:04 PST 2026 | ||
| jconstraints-z3/ | Sat Nov 14 18:41:41 PST 2026 | ||
| konstraints-core/ | Sun Nov 15 09:15:10 PST 2026 | ||
| konstraints/ | Fri Nov 13 09:54:57 PST 2026 | ||
| rereso/ | Fri Oct 30 12:43:36 PDT 2026 | ||
| stars-core/ | Fri Oct 30 12:43:30 PDT 2026 | ||
| stars-data-av/ | Sat Nov 14 23:48:22 PST 2026 | ||
| stars-import-carla/ | Sat Nov 14 20:42:33 PST 2026 | ||
| stars-importer-carla/ | Sat Nov 14 20:40:16 PST 2026 | ||
| stars-logic-kcmftbl/ | Mon Nov 02 17:41:43 PST 2026 | ||
| turnkey-gradle-plugin/ | Mon Nov 02 17:41:50 PST 2026 | ||
| turnkey-support/ | Sun Nov 15 02:39:09 PST 2026 | ||
| turnkey/ | Thu Jun 11 05:29:52 PDT 2026 | ||
| wvm/ | Fri Nov 13 08:18:03 PST 2026 | ||
| z3-turnkey/ | Sat Nov 14 22:42:25 PST 2026 |