| Dafny | GNU Prolog for Windows (x64 bit) | Code::Blocks for Windows | Code::Blocks forMac OS X | |
| 4.8.1 | 1.5.0 | 20.03 Build Apr 3 20 | 20.03 Build Apr 3 20 | |
 |
 |
 |
 |
|
| Our Rating | ||||
  |
|
Users´ rating | ||
| Open Source | Open Source | Open Source | Open Source | Licence |
| FREE | FREE | FREE | FREE | Price |
| 60.30 MB | 6.30 MB | 145.00 MB | 145.00 MB | File size |
| Sep 16, 2024 | Jun 9, 2021 | Jul 31, 2024 | Sep 26, 2024 | Update |
| 1 | 21 | 36 | 23 | Downloads |
| Windows 11, Windows 10 64 bit | Windows Vista x64, Windows 7 x64, Windows 8 x64, Windows 10 x64, Windows 11 | Windows 11, Windows 10 64 bit, Windows 8 64 bit, Windows 7 64 bit | Windows 11, Windows 10 64 bit, Windows 8 64 bit, Windows 7 64 bit | OS |
| Language | ||||
