Legal
Terms of Service
Effective date: January 1, 2025
By accessing or using the website and services provided by Dinosat Inc. ("Dinosat," "we," "us," or "our"), you agree to be bound by these Terms of Service. If you do not agree to these terms, you must discontinue use of our website and services immediately.
Dinosat provides research, tools, and consulting services related to Boolean satisfiability solving and formal verification. The specific scope, deliverables, and terms of any engagement are defined in separate agreements between Dinosat and the contracting party.
All content, materials, software, and intellectual property available on our website or through our services are owned by Dinosat or its licensors and are protected by applicable intellectual property laws. You may not reproduce, distribute, modify, or create derivative works from any content without prior written authorization.
You agree not to:
Our website and services are provided on an "as is" and "as available" basis. To the fullest extent permitted by law, Dinosat disclaims all warranties, express or implied, including but not limited to implied warranties of merchantability, fitness for a particular purpose, and non-infringement. We do not warrant that our services will be uninterrupted, error-free, or secure.
To the maximum extent permitted by applicable law, Dinosat shall not be liable for any indirect, incidental, special, consequential, or punitive damages, including but not limited to loss of profits, data, or business opportunities, arising out of or in connection with your use of our services, regardless of the theory of liability.
You agree to indemnify, defend, and hold harmless Dinosat, its officers, directors, employees, and agents from and against any claims, liabilities, damages, losses, and expenses arising out of or in connection with your use of our services or violation of these Terms of Service.
These Terms of Service shall be governed by and construed in accordance with the laws of the Republic of Seychelles, without regard to conflict of law principles. Any disputes arising under these terms shall be subject to the exclusive jurisdiction of the courts of the Republic of Seychelles.
We reserve the right to modify these Terms of Service at any time. Changes become effective upon posting to our website. Your continued use of our services after any modifications constitutes acceptance of the revised terms. We encourage you to review these terms periodically.
If any provision of these Terms of Service is found to be unenforceable or invalid, that provision shall be limited or eliminated to the minimum extent necessary, and the remaining provisions shall remain in full force and effect.
For questions regarding these Terms of Service, please contact:
Dinosat Inc., Suite 9, Ansuya Estate, Royal Street, Victoria, Republic of Seychelles
Email: legal@dinosat.com