| Dafny | GNU Prolog for Windows (x64 bit) | Code::Blocks forMac OS X | Code::Blocks for Windows | |
| 4.9.0 | 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 |
| 58.10 MB | 6.30 MB | 145.00 MB | 145.00 MB | File size |
| Oct 31, 2024 | Jun 9, 2021 | Sep 26, 2024 | Jul 31, 2024 | Update |
| 14 | 48 | 40 | 49 | 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 | ||||
